LINUX.ORG.RU
Новости — Open Source  

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

 , gloire, ironclad,

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

4

3

Недавно на 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.

>>> Подробности



Проверено: hobbit ()
Последнее исправление: hobbit (всего исправлений: 7)

 ← 1 2 3 4 →
Ответ на: комментарий от BydymTydym

Я уже выяснил, спасибо. Работает это только хреново, На моем беспроводном логитехе лампочка капслока вообще зажигается черти-как. Раньше я грешил на то, что логитех — он вообще такой особенный и к нему пачка драйверов в полном развороте нужна, чего в линухе нету. А кроме логитеха у меня других клавиатур за последние 20 лет не было, сравнить было не с чем.

gns ★★★★★
()
Ответ на: комментарий от gns

У меня, странное дело, тоже беспроводный логитех. Но вроде странностей с ними не замечал. Впрочем, этот функционал для клавиатуры - последнее, что мне от нее нужно.

BydymTydym ★
()
Ответ на: комментарий от BydymTydym

Ну дальше начинается: дбас-не-дбас, какой DE, какой к нему плагин, гном-не гном... Ладно, меня тоже лампочки не парят.

gns ★★★★★
()
Для того чтобы оставить комментарий войдите или зарегистрируйтесь.
 ← 1 2 3 4 →
Open Source