1 |
On Thursday, 25 January 2018 11:07:40 GMT Wols Lists wrote: |
2 |
|
3 |
> But what I think you're supposed to do is use UEFI to load the linux |
4 |
> kernel directly ... not sure how you do that yet :-) |
5 |
> |
6 |
> Cheers, |
7 |
> Wol |
8 |
|
9 |
If you do not need/want to use a boot loader like GRUB you can use the |
10 |
efibootmgr to set the kernel image to boot directly. For example: |
11 |
|
12 |
efibootmgr --create --disk /dev/sda --part 1 --label "gentoo-4.14.14_20-Jan" |
13 |
--loader "\EFI\BOOT\bootx64-4.14.14-gentoo.efi" |
14 |
|
15 |
Where \EFI\BOOT\bootx64-4.14.14-gentoo.efi is found under: |
16 |
|
17 |
# tree /boot |
18 |
/boot |
19 |
├── EFI |
20 |
└── BOOT |
21 |
├── System.map-4.14.12-gentoo |
22 |
├── System.map-4.14.14-gentoo |
23 |
├── System.map-4.14.8-gentoo-r1 |
24 |
├── bootx64-4.14.12-gentoo.efi |
25 |
├── bootx64-4.14.14-gentoo.efi |
26 |
├── bootx64-4.14.8-gentoo-r1.efi |
27 |
├── config-4.14.12-gentoo |
28 |
├── config-4.14.14-gentoo |
29 |
└── config-4.14.8-gentoo-r1 |
30 |
|
31 |
You should also set CONFIG_EFI_STUB=y in your kernel. |
32 |
-- |
33 |
Regards, |
34 |
Mick |