Re: Newbie question: L4Linux as a patch