Re: Porting third-party code to Genode