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