Re: FLIPS and l4linux