UEFI support from command line

[Steven Stern]

On 02/22/2013 07:53 AM, Rami Rosen wrote:
> Steven,
> I believe that when EFI is enabled,
> dmesg | grep EFI should yield results.
> 
> Is it Intel x86 (32 or 64 bit) based machine ?
> 
> Because I see in the efi code this:
> ...
>  pr_info("EFI v%u.%.02u by %s\n",
> ...
> 
> http://lxr.free-electrons.com/source/arch/x86/platform/efi/efi.c#L676
> 
> I believe it is so also for other platforms, but I did not verify it.
> 
> regards,
> Rami Rosen
> http://ramirose.wix.com/ramirosen
> 

This is a 64 bit machine

$ dmesg |grep EFI
[    0.000000] efi: EFI v2.31 by American Megatrends
[    0.597599] fb0: EFI VGA frame buffer device
[    0.648255] EFI Variables Facility v0.08 2004-May-17
[    2.301943] fb: conflicting fb hw usage inteldrmfb vs EFI VGA -
removing generic driver



-- 
-- Steve