Adam Lackorzynski adam at
Mon Apr 15 00:46:09 CEST 2013

On Thu Apr 11, 2013 at 14:53:19 -0700, Ryan Brown wrote:
> 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?

I've seen and hopefully fixed it, basically just missing functionality.

> Is there some way to use the fiasco debugger to debug an l4linux process?

gdb should be better for that :)

Adam                 adam at

More information about the l4-hackers mailing list