39971739fa
This device is x86_64 and has a 32-bit UEFI, so I need to install 32-bit grub (AFAIK it's the only bootloader capable of loading a 64-bit kernel from 32-bit). The grub-efi-x86 package has been generated with pmbootstrap.
5 lines
104 B
INI
5 lines
104 B
INI
timeout=4
|
|
menuentry "postmarketOS" {
|
|
linux ($root)/vmlinuz-vanilla
|
|
initrd ($root)/initramfs-vanilla
|
|
}
|