Re: L4Linux with serial console / IRQ usage