EFI boot fails

Ayad Mostafa <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <1845787.tM5d5dYdAv@l0>
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.