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.