Hi,
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.
see below.
In 3.8.0 kernel, we have:
And in arch/x86/kernel/setup.c, we have:
...
if (efi_enabled(EFI_BOOT))
efi_init();
..
And:
#define EFI_BOOT 0 /* Were we booted from EFI? */
in include/linux/efi.h
The question marks are in the header file, not from me.
regards,
Rami Rosen
http://ramirose.wix.com/ramirosen
On Fri, Feb 22, 2013 at 4:19 PM, Steven Stern
<subscribed-lists(a)sterndata.com> wrote:
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(a)lists.fedoraproject.org
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