On 02/22/2013 08:46 AM, Michael Cronenworth wrote: > 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. > Yes, it's an i7, quad core machine # cd /sys/firmware [root@sds-desk-2 firmware]# ll total 0 drwxr-xr-x. 4 root root 0 Feb 21 10:13 acpi drwxr-xr-x. 3 root root 0 Feb 22 14:09 dmi drwxr-xr-x. 4 root root 0 Feb 21 10:12 efi drwxr-xr-x. 26 root root 0 Feb 22 14:09 memmap [root@sds-desk-2 firmware]# ll /sys/firmware/efi total 0 drwxr-xr-x. 2 root root 0 Feb 21 10:12 efivars -r--------. 1 root root 4096 Feb 21 10:12 systab drwxr-xr-x. 90 root root 0 Feb 22 03:22 vars When I bought it, I was nervous about the EFI stuff and make the store manager personally tell me I could bring the system back if I couldn't get Fedora installed. I don't think he knew what I was talking about, but he got the sale. -- -- 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
