L4Linux with serial console / IRQ usage

[Adam Lackorzynski]

On Mon Aug 14, 2006 at 19:35:24 +0200, Andreas Niederl wrote:
> No, I should have separated the two messages more clearly. I meant this 
> part:
>  >>>>Now the system stops after printing out the message
>  >>>>'l4lx    | l4lx_thread_create: Created thread 0e.0b (IRQ17)'.
> 
> 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.

I can reproduce this and I'm trying to fix it (or find someone to fix
it).



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/