> 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. Alan -- To unsubscribe from this list: send the line "unsubscribe platform-driver-x86" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
