Problem of running L4Linux

Adam Lackorzynski adam at
Wed Jan 14 00:09:03 CET 2009

On Tue Jan 13, 2009 at 15:30:54 +0800, Adam Chang wrote:
> Now I add the serial port to VMware machine and connected the serial
> port to output file


> The following is the serial output while booting L4Linux
> loader  | vmlinuz,#10: Starting at 000138e0 via 0000cc24
> EAX=c01407d0  ESI=c0140000  DS=0023
> EBX=c0400000  EDI=00000000  ES=0023
> ECX=1fca0000  EBP=c01406e8  GS=0043
> EDX=00000000  ESP=c04007cc  SS=0010   ESP0=c0140800
> EFL=00010087  EIP=f002ad96  CS=0008
> Return reboots, "k" tries to enter the L4 kernel debugger...
> Rebooting...
> ======Ending of Serial Output=====
> The above is my current circumstance,can someone give me some advice
> how to solve this problem?

Whoops. This is a fault by the kernel itself. I guess it must have
something to do with using VMware. Could you try some other VM solution,
like QEmu, to see if things change?

Adam                 adam at

More information about the l4-hackers mailing list