Adam Lackorzynski wrote:
On Mon Aug 14, 2006 at 19:35:24 +0200, Andreas Niederl wrote:
[...]
It's just like this, the system stops at this line and I cannot get into JDB (with the Escape key this time). Qemu itself remains responsive, I can e.g. access its monitor. This only happens when I specify 'l4ser.vkey_irq=17' as argument for L4Linux, otherwise I get only the output of L4Linux on the serial line but the system runs happily.
The attached patch against Fiasco should fix the issue for now.
Thanks for the effort. However the source file for kernel_task.h seems to be missing in the public CVS.
Regards, Andi