Problem of running L4Linux

[Adam Lackorzynski]

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

Good.

> The following is the serial output while booting L4Linux
> loader  | vmlinuz,#10: Starting libld-l4.s.so at 000138e0 via 0000cc24
> 
> DOUBLE FAULT!
> 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$B!$(Bcan 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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/