Re: l4linux starting problem