L4Linux with serial console / IRQ usage

[Andreas Niederl]

Hi,

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 
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.


Regards,
Andi