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.
You nailed it: From day 2 or so we imagined to develop Genode as the future common API for the diverse range of microkernels and showcased the approach with all L4 kernels we could get our hands on. The vision is still to provide a replacement for POSIX in the microkernel world ;-)
Regarding POSIX, we don't think that tools and applications developed for this interface do not fit the microkernel world but on the traditional systems level POSIX (and its tools) is not sufficient to make the best of out of the microkernel advantages. For example, we run libcurl, GPG, libarchive, and coreutils in an orchestrated scenario to implement a robust and secure deployment/installation subsystem in the Genode-based Sculpt OS https://genode.org/documentation/articles/sculpt-19-07.
reply