Re: Porting libraries to l4linux