LINUX.ORG.RU

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)

Ответ на: комментарий от ConLenov

И у бздунов тоже, да. Все грешники.

otto ★★★
()

Да чтож такое, очередной одинокий энтузиаст осилил за пару лет то, чего мифическая «ОС GNU» нишмогла лет за тридцать.

token_polyak ★★★★
()
Последнее исправление: token_polyak (всего исправлений: 2)
Ответ на: комментарий от token_polyak

Не такой уж и одинокий, не обошлось без помощи ада.

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

Этот язык программирования назван в честь Аугусты Ады Лавлейс.

Считается первым в мире программистом, написавшим программу для вычислительной машины.

Хотели бы разрабы язык ада - назвали бы «Hell» или «Tartarus».

fox72
()
Последнее исправление: fox72 (всего исправлений: 1)
Ответ на: комментарий от erfea

А вот я передушню: Ада не первый программист, а второй после бати. Она первый сторонний программист.

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

Кто бы говорил, у нас вообще демоны в ОС есть.

А вот в оффтопике - иконы и службы!

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

Ада не первый программист, а второй после бати.

Батя у неё Байрон. Что-то не помню, чтобы он код писал. Он больше по стихам был.

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

Какого бати? Тот лорд Байрон, что развелся с матерью Августы после ее рождения. Вы его первым программистом называете?

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

Возможно он «батей» (в кавычках) Беббиджа называет. Но он больше по железу. У Ады же в записях наоборот можно найти идеи структурного программирования. Описания циклов, ветвлений и т.д.

atrus ★★★★★
()

Ядро на Аде — интересная тема, интересней, чем этот ваш Руст.
Может, стоит переписать управляющий софт для своего беспилотника на Аде?

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

Комментарии некоторых местных персонажей похожи на тексты Каббалы - что сказал не понятно, но звучит таинственно. И изволь додумывать сам, что автор изречения помыслил.

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

Батя - это который по железу, не по биологии. Отлаживая его, он совершенно явно программировал, без этого никуда.

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

Есть ОС на Pascal, Ada, Oberon. Интересно, а на Algol есть?

Были на Algol 68 (внизу статьи) ©.

quickquest ★★★★★
()

забавно будет, если это дело еще и запустить на каком-нибудь софт-процессоре, написанном на VHDL (который идеологический потомок ADA в языках описания аппаратуры).

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

Так батя (если речь про Бэббиджа) железо не сделал, только спроектировал. Железо сделал батин сын, отставной полковник, когда уже ни бати, ни Ады в живых не было…

hobbit ★★★★★
()

Ради прикола забанил всех последователей филолога Задорнова. По сути новости осталось всего 10 комментариев. М-да.

fox72
()
Ответ на: комментарий от ox55ff

Я нигде не нашёл информацию, микроядерное оно или монолит, так что это ещё вопрос, кому Hurt чувствовать — Hurd-у или линуксу…

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

А кто ж видел-то? Может оно в 4х мегабайтах хорошо себя чувствует?

gns ★★★★★
()

Классные все-таки у них парашюты, из синтентики и со слайдерами. Не то, что наши школьники-убийцы.

anon1984
()
Последнее исправление: anon1984 (всего исправлений: 1)
Ответ на: комментарий от hobbit

Так и я первым программистом могу быть, под меня просто железа не сделали пока.

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

Да хорошо бы... Но ориентация явно на встраиваемые системы. Автору ядра явно надоело писать всякие бортовые системы, если он сразу пишет код с учетом формальной верификации.

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

или «Tartarus».

Полезный коммент. Повышает эрудицию. Еще зашел погугил про слово, «эрудиция» значит сглаживание невежества.

lbvf50txt
()

Интересная штука, надо куда-то в закладки положить что-ли... Будем посмотреть, что из этого выйдет. Мужик там в одно лицо ядро лабает, может помочь ему чем? Глядишь и Аду выучим наконец-то... :)

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

CDC с Барроузом использовали Алгол как системный язык, типа как PL/1 у IBMa. Все ли их операционки целиком на Алголе писаны, про то не знаю, и явно не все, но куски были на нем были написаны.

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

hard real-time

На x86? Оно что, умеет полностью отключать IntelME/PSP? Или просто речь о каких-нибудь i486/первопнях где hard real-time был хотя бы теоретически возможен?

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

Ты сходи на сайт ядра, оно ориентировано на всякие не-интеловские одноплатники в основном. X86 поддерживается опционально, как я понял.

gns ★★★★★
()

Если бы ТС запустил на своей машине…
В общем, неуважуха.

dataman ★★★★
()
Для того чтобы оставить комментарий войдите или зарегистрируйтесь.