EFI boot fails
Matthias Lange
matthias.lange at kernkonzept.com
Tue Jun 10 08:54:42 CEST 2014
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 at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
--
Matthias Lange, matthias.lange at kernkonzept.com, +49 - 351 - 41 88 86 14
Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth
More information about the l4-hackers
mailing list