Re: l4linux starting - How can I see all Debug messages on serial line ?