Problem of running L4Linux
adam at os.inf.tu-dresden.de
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 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...
> ======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 at os.inf.tu-dresden.de
More information about the l4-hackers