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
--
users mailing list
users@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe or change subscription options:
https://admin.fedoraproject.org/mailman/listinfo/users
Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines
Have a question? Ask away: http://ask.fedoraproject.org
