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