Здравствуйте, AmSpb, Вы писали:

AS>Вот и славно, она как раз микроядерная, у неё есть разные ответвления, например Genode. Так что я предполагаю, что Кспрский ОС так или иначе основана на L4

Да какая разница? ОС для десктопа/ноута может ядро менять как перчатки, даже когда оно монстроидально монолитное
Вон тот же Debian есть и с Linux Kernel и GNU Hurd:

Currently, Debian is only available for Linux and kFreeBSD, but with Debian GNU/Hurd we have started to offer GNU/Hurd as a development, server and desktop platform, too.

https://www.debian.org/ports/hurd/

Потому что ОС для десктопа вся целиком — это базисное понятие для Автоматизированного Рабочего Места (АРМ), а само ядро ОС, в этом всём, весьма вторично. Пользователи с трудом могут понять работают ли на варианте FreeBSD, Linux или же GNU Hurd. Потому как все три варианта могут представлять, условно, один и тот же KDE Plasma с тем же самым одинаковым Chromium & LibreOffice Writer & Calc (аналоги Chrome и MS Word, Excel).