L4Linux with serial console / IRQ usage

Andreas Niederl niederl at sbox.tugraz.at
Mon Aug 14 19:35:24 CEST 2006


Adam Lackorzynski wrote:
> On Mon Aug 14, 2006 at 14:16:43 +0200, Andreas Niederl wrote:
>>Adam Lackorzynski wrote:
>>What about the stop after I got the first message using one thread per 
>>IRQ with the rmgr way? Is it a known problem or perhaps caused by some 
>>misconfiguration on my side?
> Do you refer to the 'RMGR denied IRQ 4' issue? RMGR won't give you IRQ 4
> as it is already used by the kernel for the debug console. Try the 17
> with this setup and it should work.

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.


More information about the l4-hackers mailing list