L4Linux with serial console / IRQ usage

[Andreas Niederl]

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