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.
> 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?