Я так до конца и не понял, как именно называется данная ОС, но кажется расклад такой: Ironclad — это название ядра, а Gloire — это полноценная ОС с рабочим столом на основе этого ядра и портированного софта.
Понятия не имею, в чём её убивающее преимущество, но зато есть такая забавность:
Ironclad is a formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% free software.
Много ли вы вообще знаете софта, написанного на Ada?
Это загрузчик Limine, вполне знакомый линусоидам, пусть и не самый распространённый. Gloire работает на EFI через этот вполне современный загрузчик, это не какая-то окаменелость. Жмём и ждём.
Запустились X’ы. Здесь кодерам виднее, а они и рады уже который год городить срачи X versus Wayland, но с моей потребительской точки зрения это уже нечто отживающее и потому выбор не ясен.
Здесь в окошке консоли видно ядро, которое не Linux или что-то ещё такое знакомое. Рядом файл-менеджер, который как раз таки кому-нибудь да знаком, так как из среды этих самых Linux’ов тут и появился. Ну и классические XEyes, чтобы понятно было, что это X’s. А вот шестерёнки glxgears у меня не запустились. Не запустилось и приложение для работы с пакетами, ругнувшись на отсутствие RPM и DEB в системе и всё наглухо подвесив, хотя почему-то оно сюда портировано. Вероятно с перспективой, как и установщик, который только говорить, что устанавливать пока ничего не умеет и просит подождать. Я бы сказал, что выглядит всё это глупо, но это не релиз, а всего-то snapshot, который работать не обязан, не говоря уже о полной функциональности того, что я описал выше.
Что бы это ни было, оно вполне работает у меня в Qemu. Пусть развивается. Если это есть, значит это кому-нибудь нужно.
P.S. Да, я забыл свою обычную фразу, увы.