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