Hi, i wrote: > > So i will start a new thread with the question: > > How do i convince the git clone to produce programs and ISO for 64 bit > > EFI.
Vladimir 'phcoder' Serbinenko wrote: > ./configure --with-platform=efi --target=x86_64 Fast and concise as ever. :)) Thanks, Vladimir. It works if i do beforehand make clean Without "make clean" i get from the subsequent "make": symlist.h:30:10: fatal error: ../include/grub/machine/pxe.h: No such file or directory 30 | #include <../include/grub/machine/pxe.h> Trying to revoke the change by ./configure && make yields: symlist.c: In function ‘grub_register_exported_symbols’: symlist.c:66:31: error: ‘grub_acpi_find_fadt’ undeclared (first use in this function) 66 | {"grub_acpi_find_fadt", grub_acpi_find_fadt, 1}, ----------------------------------------------------------------------- Well, now that i know the magic words, i find them in the manual under "8 Porting". Possibly it would be worthwhile to put some of this into a new chapter "1.1 Building from the git clone" together with a warning about re-configuring without clean-making. Have a nice day :) Thomas _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel