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" -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main