Hi, is Fiasco-UX suited for debugging with GDB? I noticed the lines generic.inc: [ -n "$RUN_GDB" ] && gdb_wrap="gdb $GDB_ARGS --args" generic.inc: $gdb_wrap $FIASCODIR/$FIASCO in l4/tools/runux/generic.inc 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)
$ gdb --version GNU gdb Red Hat Linux (6.3.0.0-1.84rh)
Regards, Andi