1de63d60cd
There was a serious problem in samsung-laptop that its platform driver is designed to run under BIOS and running under EFI can cause the machine to become bricked or can cause Machine Check Exceptions. Discussion about this problem: https://bugs.launchpad.net/ubuntu-cdimage/+bug/1040557 https://bugzilla.kernel.org/show_bug.cgi?id=47121 The patches to fix this problem: efi: Make 'efi_enabled' a function to query EFI facilities |
||
---|---|---|
.. | ||
ce4100 | ||
efi | ||
geode | ||
iris | ||
mrst | ||
olpc | ||
scx200 | ||
sfi | ||
uv | ||
visws | ||
Makefile |