Re: L4/Linux problem