L4Linux with serial console / IRQ usage
adam at os.inf.tu-dresden.de
Wed Aug 16 19:42:21 CEST 2006
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
> >>>>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
Adam adam at os.inf.tu-dresden.de
More information about the l4-hackers