On Thursday, 25 January 2018 11:07:40 GMT Wols Lists wrote: > But what I think you're supposed to do is use UEFI to load the linux > kernel directly ... not sure how you do that yet :-) > > Cheers, > Wol
If you do not need/want to use a boot loader like GRUB you can use the
efibootmgr to set the kernel image to boot directly. For example:
efibootmgr --create --disk /dev/sda --part 1 --label "gentoo-4.14.14_20-Jan"
--loader "\EFI\BOOT\bootx64-4.14.14-gentoo.efi"
Where \EFI\BOOT\bootx64-4.14.14-gentoo.efi is found under:
# tree /boot
/boot
├── EFI
└── BOOT
├── System.map-4.14.12-gentoo
├── System.map-4.14.14-gentoo
├── System.map-4.14.8-gentoo-r1
├── bootx64-4.14.12-gentoo.efi
├── bootx64-4.14.14-gentoo.efi
├── bootx64-4.14.8-gentoo-r1.efi
├── config-4.14.12-gentoo
├── config-4.14.14-gentoo
└── config-4.14.8-gentoo-r1
You should also set CONFIG_EFI_STUB=y in your kernel.
--
Regards,
Mick
signature.asc
Description: This is a digitally signed message part.
