Question regarding the "Jdb::handle_user_request()' function

Adam Lackorzynski adam at
Sat May 11 23:53:54 CEST 2013

On Tue Mar 19, 2013 at 23:59:22 +0100, Christian Prochaska wrote:
> Yes, on x86. I'm running 'qemu-system-i386' with the '-smp 2' option
> and it happens only some of the times. The kernel output is
> attached.

Should hopefully be fixed now.

Adam                 adam at

More information about the l4-hackers mailing list