Hi, On Sat, Jun 07, 2014 at 07:46:15PM +0200, Ayad Mostafa wrote:
hello l4-hackers,
i'm trying to boot l4 on intel galileo board, but i'm getting error 13 from grub "Error 13: Invalid or unsupported executable format".
This is because L4Re does not support EFI (yet). Among other things EFI mandates a different executable format (PE32+). Matthias.
the error is generated after issuing kernel /bootstrap -modaddr 0x01100000
here is my grub.conf title hw_test0 root (hd0,0) kernel /bootstrap -modaddr 0x01100000 module /fiasco -jdb_cmd=JS -serial_esc module /sigma0 module /moe rom/lwip.lua module /l4re module /ned module /io module /ankh module /ankh.vbus module /lwip.lua module /Aw.lua module /hw_test0
the same setup was tested successfully under qemu
i appreciate any help
thanks in advance
_______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
-- Matthias Lange, matthias.lange@kernkonzept.com, +49 - 351 - 41 88 86 14 Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth