L4Linux with serial console / IRQ usage
Andreas Niederl
niederl at sbox.tugraz.at
Mon Aug 21 20:37:55 CEST 2006
Adam Lackorzynski wrote:
> On Mon Aug 21, 2006 at 14:58:29 +0200, Andreas Niederl wrote:
>
>>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.
>
>
> Just leave that include out, I missed to remove it in the patch.
Thanks, it works now.
Is it normal that the cursor keys get messed up? I get digits when using
'-serial pty' and escape characters like '\M-' with a number using
'-serial stdio' with Qemu.
Regards,
Andi
More information about the l4-hackers
mailing list