On Mon, Mar 03, 2014 at 07:23:06AM +0800, Li, Aubrey wrote: > Windows doesn't do because there is no 32/64 mixed windows and EFI on > the planet. Since the silicon is actually 64 bit, I failed to see a > reason to refuse the user install 64bit linux on it. So we encountered a > case windows didn't.
And we'll call the 32 bit EFI call, so what's the problem? > So, you didn't mention BOOT_BIOS, if you don't want to add BOOT_BIOS, > and you also don't like DMI entires, how do you want to deal with the > machines requiring BOOT_BIOS to reboot their machine? I was planning on ignoring them. -- Matthew Garrett | mj...@srcf.ucam.org -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
