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.

Cheers

Nick