[gnufx]

There's a difference between commercial and proprietary, and it's a pity the Genode site confuses them, but if you want to make a proprietary version of it Genode Labs advertises the option to pay them, as a commercial software business. As far as I know, that's not an option with, say, MS Windows or iOS.