Genode Userland Licensing

[buzz heavyyear]

Hi,
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.
CheersNick 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20140129/d9446ce1/attachment.html>