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.
22 lines
787 B
Text
22 lines
787 B
Text
pkgname=grub-x86
|
|
pkgver=1
|
|
pkgrel=0
|
|
pkgdesc="GRUB i386-efi image"
|
|
url="https://www.gnu.org/software/grub/"
|
|
license="GPL-3.0-or-later"
|
|
arch="x86_64"
|
|
makedepends="grub grub-efi-x86"
|
|
options="pmbootstrap-strict"
|
|
source="grub_early.cfg"
|
|
|
|
package() {
|
|
mkdir -p "$pkgdir/boot/EFI/Boot"
|
|
grub_mod="all_video disk part_gpt part_msdos linux normal configfile search search_label efi_gop fat iso9660 cat echo ls test true help gzio"
|
|
grub-mkimage --config="$srcdir/grub_early.cfg" \
|
|
--prefix="" \
|
|
--output="$pkgdir/boot/EFI/Boot/bootia32.efi" \
|
|
--format="i386-efi" --compression="xz" \
|
|
$grub_mod
|
|
}
|
|
|
|
sha512sums="0f9357d4eea089628fbceb1e3e96d21a3f4329aeb6743158a6f877f967ef274506404eba949d5f01b7e1adea149f9a3aef992a5e8cd4181f93ab00909b1c5ecd grub_early.cfg"
|