Grub2 efi files

Johannes Kliemann Johannes.Kliemann at ...250...
Wed May 3 15:55:10 CEST 2017

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.




More information about the users mailing list