UEFI support from command line

[Michael Cronenworth]

Rami Rosen wrote:
> Well, the first line, "efi: EFI v2.31 by American Megatrends",
> is (almost for sure) from /arch/x86/platform/efi/efi.c (assuming this
> is intel machine; you only replied that it is 64 bit machine, I assume
> that it is intel).
>
> I am not sure that this indeed says that the EFI is active.
> does efi_enabled() says that efi is active ? not sure.

The "sure" way of determining if you have booted via EFI is to check for
the existence of the /sys/firmware/efi directory. If it doesn't exist
you booted via legacy BIOS.