L4Linux with serial console / IRQ usage

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Aug 21 15:06:09 CEST 2006

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.

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

More information about the l4-hackers mailing list