Gloire — ОС с ядром Ironclad на языке Ada

Недавно на Github появился репозиторий операционной системы Gloire. Gloire использует ядро Ironclad, написанное на языке программирования Ada, и пользовательское окружение GNU. На сайте, посвященном Ironclad, написано что оно находится в процессе «формальной верификации».

Для ОС Gloire доступны загрузочные образы для x86, хотя поддерживаемого оборудования пока мало.

Репозиторий Gloire: https://github.com/streaksu/Gloire?tab=readme-ov-file

Сайт проекта ядра: https://ironclad.nongnu.org

И Gloire, и Ironclad распространяются на условиях GNU General Public License версии 3.

Источник: linux.org.ru

ProHoster Консультант, Технический специалист

A technical specialist at ProHoster with over six years of experience in server administration, VPN solutions, and network security. I manage infrastructure setup and support, monitor service stability, and implement solutions to protect client data. I also contribute to performance optimization and compliance with modern security and privacy requirements.

See Full Bio

VPN VPS Shared Hosting SSL