pkgname=grub-x86 pkgver=1 pkgrel=2 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="pmb: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"