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

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

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

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

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

github

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

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

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

Кто может простыми словами рассказать, что такое Capability-based operating systems(https://en.wikipedia.org/wiki/Capability-based_operating_system) и в чём преимущества такой модели?

Если есть разбирающиеся люди, прокоментируйте основыне технические различия(различия в архитектуре IPC ну и другие основные существенные отличия).