Re: EFI boot fails

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
> [email protected]
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

-- 
Matthias Lange, [email protected], +49 - 351 - 41 88 86 14

Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth