l4linux booting failure on Genode

[Jilong Kuang]

Hi,

I was trying to run l4linux on Genode following the online tutorials. 
Compiling was fine. I didnt change any configuration file or script. 
Everything was in default setting.

I failed to boot up the l4linux using either emulators (QEMU, 
Virtualbox) or a real machine. It just hangs during the boot process and 
I observed multiple error messages (quota exceeded, illegal announcement 
of service " Uart", Cannot determine physical address for dataspace 
Binary! etc).

I attached the log file of a typical run on a real machine (Intel Core 
i7) for your reference. I hope someone could spot some problems in it.

Thank you very much!

Best regards,
Jilong
-------------- next part --------------
A non-text attachment was scrubbed...
Name: minicom.cap
Type: application/cap
Size: 20194 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20121213/cdcf14be/attachment.bin>