On Jun 9, 2012, at 12:42 PM, Georg Wicherski wrote: > Haters gonna hate! ;) > > On 06/09/2012 08:02 PM, Chris Murphy wrote: >> dmesg | grep -i efi > > $ dmegs | egrep 'EFI|debian' | head -n5 > [ 0.000000] Linux version ???-amd64 (Debian ???) > (debian-ker...@lists.debian.org) (gcc version 4.6.3 (Debian 4.6.3-1) ) > #1 SMP Fri Apr 6 05:01:55 UTC 2012 > [ 0.000000] Command line: > BOOT_IMAGE=(hd0,gpt1)/EFI/BOOT/vmlinuz-???-amd64 > root=/dev/mapper/ssda-root ro quiet splash > [ 0.000000] EFI v1.10 by Apple > [ 0.000000] Kernel-defined memdesc doesn't match the one from EFI! > [ 0.000000] EFI: mem00: type=7, attr=0x80000000000000f, > range=[0x0000000000000000-0x000000000008e000) (0MB)
Usually there's a ton of EFI related stuff with an EFI boot. Dozens of lines. But that the kernel memdesc doesn't match EFI's is a pretty good sign it's an EFI boot. What about: ls -l /sys/firmware And what model hardware is this? And what Linux kernel version? Chris Murphy _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
