mysterious double fault

[Alexander Arlt]

hi all,

i have a mysterious double fault error while booting fiasco in qemu.
the problem is that the same configuration works on a native 586 fiasco
and in fiasco-ux without any problems. only with qemu a double fault is 
detected.

i tested it with qemu 0.9.0 and qemu 0.9.1. with version 0.9.0 the boot 
process hangs, without any error messages. with qemu 0.9.1 fiasco says 
that a double fault was detected.

in my configuration i boot two instances of l4linux. while the 
intialization of the
l4linux kernel, fiasco produces the following output:
DOUBLE FAULT!
EAX=c02407d0  ESI=c0240000  DS=0023
EBX=c0401000  EDI=00000000  ES=0023
ECX=3fe19000  EBP=c02406b4  GS=0043
EDX=00000000  ESP=c04017cc  SS=0010   ESP0=c0240800
EFL=00200087  EIP=f002ef06  CS=0008

this happens always after the "l4lx    | Got 0 out of 65536 I/O ports" 
message. but the really
confusing thing is, that sometimes also qemu can boot without any double 
fault.

any ideas whats going wrong here?

thanks
alex