Genode Userland Licensing

buzz heavyyear buzzheavyyear at ...16...
Wed Jan 29 15:12:47 CET 2014

I've been searching back over previous mail postings on userland licensing for Genode, but haven't really found anything pertinent.
Could someone possibly make a definitive comment on this - what is the license for any code sitting on top of Genode?
If it's pure GPLv2 then I, for one, am stuck as I will have no control on what third parties will place on the application level.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list