Ok, if anyone considers me simply calling the AGPLv3 as objectionable for any commercial business software as FUD. I’d encourage them to do their own research and make their own decisions. I’ve decided it’s not worth the hassle and the legal risk. It’s never been litigated and it basically prevents a business from demonstrating a product without giving the product to a potential customer. Which in the world of custom software is a big issue.
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.