Hi,
On 03.05.2017 15:55, Johannes Kliemann wrote:
Hi Alex,
how have you built the efi files for grub2? I tried to build them from master and from the commit you used in Genode [1]. If I run configure with --with-platform=efi some headers are missing for the build and if I configure without it grub-mkimage fails with error: no symbol table.
below are the notes I have taken during building the grub2 efi files, hope they are helpful.
Cheers,
Alex.
git clone git://git.savannah.gnu.org/grub.git grub.git commit 972765fe8245cdf44d465329f33b5aa9ac6c2f47 (12.1.2017)
cd grub.git ./autogen.sh
export EFI_ARCH=x86_64 ./configure --prefix=/home/alex/grub2/install64 --with-platform=efi --target=${EFI_ARCH}
or
export EFI_ARCH=i386 ./configure --prefix=/home/genode/grub2/install32 --with-platform=efi --target=${EFI_ARCH}
make make install
install64/bin/grub-mkimage -O x86_64-efi -d install64/lib/grub/x86_64-efi -o grub2_64.efi part_msdos iso9660 part_gpt ext2 multiboot multiboot2 fat normal configfile setpci lspci serial -p "/boot/grub"
or
install32/bin/grub-mkimage -O i386-efi -d install32/lib/grub/i386-efi -o grub2_32.efi part_msdos iso9660 part_gpt ext2 multiboot multiboot2 fat normal configfile setpci serial -p "/boot/grub"