Library Ports

Nobody III hungryninja101 at ...9...
Wed Nov 8 02:36:23 CET 2017

I have ported the following libraries:

They are all in my genode-desktop-environment repository ( Should any of
these be added to the official Genode repository, or should they all be
added to genode-world?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list