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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
