GDB on Fiasco-UX?

Andreas Niederl niederl at
Mon Aug 7 19:16:06 CEST 2006

is Fiasco-UX suited for debugging with GDB?
I noticed the lines  [ -n "$RUN_GDB" ] && gdb_wrap="gdb $GDB_ARGS --args"  $gdb_wrap $FIASCODIR/$FIASCO
in l4/tools/runux/ and tried to run GDB by setting the 
RUN_GDB variable to something when calling one of the predefined 
ux-scripts, but it always results in segmentation faults concerning the 
calls to the cli and sti instructions.

GDB output:
Welcome to Fiasco(ux)!
DD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden
Rev: Thu Aug  3 18:16:37 2006 compiled with gcc 4.0.2 for Intel Pentium 4

Detaching after fork from child process 5989.

Program received signal SIGSEGV, Segmentation fault.
Dirq::alloc (this=0xce93f, t=0x639f5000, ack_in_kernel=802816)
     at auto/processor.h:128
128       asm volatile ("cli" : : : "memory");

$ gdb --version
GNU gdb Red Hat Linux (


More information about the l4-hackers mailing list