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.