Ryan Brown ribrdb at
Thu Apr 11 23:53:19 CEST 2013

Are there issues using ptrace under l4linux? I'm trying to debug a process
using gdbserver, but when I use stepi (PTRACE_SINGLESTEP) it seems to run
until the next system call. Has anyone else seen this?
Is there some way to use the fiasco debugger to debug an l4linux process?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list