2013/4/17 Alexander Boettcher <alexander.boettcher@...1...>
Hi Yuging,

the vesa_drv is spying some messages:

[init -> vesa_drv]  unexpected configuration address 0x54

So, do you see any output on your screen (like the Linux Penguin)?

If yes, the second issue could be/is that all output of L4Linux in
l4linux.run is routed to a second serial interface. So, either your
machine has a second serial interface and you have to connect to see
L4Linux boot messages, or you comment out the respective lines.

For me, by removing the uart_drv in the l4linux.run configuration, I see
on native hardware two penguins + command prompt on the screen.

   Hi Alex,

     Could you share your l4linux.run configuration with me too? I will try it again.

     Best,

     Jian