EFI boot fails

Ayad Mostafa ayad.mostafa2 at uni-rostock.de
Sat Jun 7 19:46:15 CEST 2014


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".

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




More information about the l4-hackers mailing list