I understand why they did it but the license makes it extremely hard for me to start using Genode. It’s a pain that prevents using it for smaller demonstration projects that could potentially be commercially viable. I know they have to keep the lights on but it sucks I’ve never been able to use it due to the licensing. Genode and seL4 is an excellent combination for secure systems that need a UI.
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.
> The Genode OS Framework is a tool kit for building highly secure special-purpose operating systems. It scales from embedded systems with as little as 4 MB of memory to highly dynamic general-purpose workloads.
Presumably you use it if you want its advertised feature of providing a highly secure operating system. Does it matter who else uses it, particularly if it provides an advantage over people who don't?