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, […]
