Нашёл интересное микроядро:

• поддержка 64-bit с SMP и поддержка ACPI;
• полностью асинхронные микроядро и серверы;
• поддержка сети;
• совместимость с POSIX и Linux API (насколько я понял, еще не реализована полностью);
• поддержка современного железа и устройств таких как контроллеры USB3 (по заявлению на github).

Написано на С++ с использованием идей С++20. Лицензия MIT.

У них на скриншоте даже glxgears работает (мне пока не удалось запустить).

Ещё скриншот (вывод ls /bin)

github

официальный сайт

Как вам, а? И знали ли вы о таком проекте? :)

>>> Просмотр (1027x667, 121 Kb)