mysterious double fault

Alexander Boettcher boettcher at
Tue Mar 4 13:45:00 CET 2008

Hi Alex,

can you please try to disable in the Fiasco configuration the option 
"Assembler IPC shortcut". There is currently an unsolved issue.

This could/should solve the problem for time being,

Alex B.

Alexander Arlt wrote:
> 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:
> 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
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at
boettcher at
key finger print: 5E79 31F6 F571 5FBA CF75  33FB AA34 4AF4 A633 25B3

More information about the l4-hackers mailing list