RelaxOS  - это 64 разрядная UEFI операционная система основанная на JIT компиляции программ. Система будет иметь графический интерфейс. Окружения для программ будет похоже на .NET но без сборки мусора.