On Mon, 2012-11-05 at 12:07 +0000, Alan Cox wrote: > > There is the 'efi_enabled' variable, but it doesn't strictly mean > > "this_is_a_uefi_system()", it actually means "Do we have EFI runtime > > services?". The whole thing is a bit of a mess and I'm planning on > > cleaning it up this week. > > > As far as I can understand it we should be reserving those areas on a > UEFI booted machine and just marking them as busy so that they are not > available to any drivers to go peering into. Yes, that would be the best way to resolve this going forward. -- Matt Fleming, Intel Open Source Technology Center -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html