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)

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

ведь проще жать на педаль shift

Не лишено смысла. Например музыканты вполне пользуются педалями, и механическими (рояль) и электронными (гитара).

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

www.amazon.com/Control-Shortcut-Combination-Computer-Mechanical/dp/B0

Насколько я понял, это немного не то,хотя и близко. Это видится компом именно как отдельный HID-девайс,который можно запрограммировать на какие-нибудь действия. А выше разговор был про «педальное дополнение» к обычной клаве,позволяющее нажимать ctrl-alt-shift. Впрочем, используя механику от того девайса с амазона - достаточно легко можно такое сконструировать,просто подключив эти «ножные» переключатели параллельно соответствующим кнопкам на клаве. Другой вариант - покопаться в настройках xkb. Возможно получится научить его переключать соответствующие модификаторы именно с отдельного девайса. Но тут я не уверен. Хотя хитрых настроек там много.

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

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

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

надо немедленно внедрять в массы эти педали!!!

представляете сколько можно напрограммировать всякого, если к разработке подключить еще и ноги!

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

шлет ли шифт отдельный скан-код

шлет, шифт-шифт в ИДЕА

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

шлет ли шифт отдельный скан-код

Как минимум в Иксах программой xev видны события нажатия и отпускания шифта.

Оказалось что трёхпедальная клава это даже не дорого:

https://aliexpress.ru/item/1005004706374892.html

Всего 1803р не считая доставки.

Остается понять - возможно ли обойтись чисто программной перенастройкой Иксового ввода или придется брать в руки паяльник. Хотя лично для меня переделка паяльником была бы даже проще если бы я хотел возможность нажимать клавиши-модификаторы ногами. Но я живу в доме с печным отоплением,поэтому при работе за компом имею привычку укутывать ноги тёплым пледом. Всё же вертикальный градиент температуры при печном отоплении больше чем в городских квартирах.

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

Ну можно попробовать. Идея педали стара как мир. Вон, профессиональные диктофоны для стенографистов и расшифровшиков аудиозаписей всегда продаются в комплекте с педалью «старт-пауза».

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

Абсолютно не вижу поводов для юмора. У музыкантов midi-клавиатуры с подключаемыми педалями вовсе не экзотика.

Хотя я соглашусь что именно при программировании рекорды скорости набора текста не так актуальны как например для какого-нибудь оператора ввода данных с бумажных документов, еще и получающего сдельную оплату. У него стоимость таких педалей скорее всего отобъется весьма быстро.

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

диктофоны для стенографистов и расшифровшиков аудиозаписей всегда >продаются в комплекте с педалью

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

Так что надо почитать документацию по настройкам xkb - может ли он переключать модификаторы с отдельного устройства ввода,воспринимая при этом буквы-цифры с основной клавиатуры. Хотя я и возился с xkb,но о именно такой возможности как-то не задумывался раньше.

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

Но я живу в доме с печным отоплением,поэтому при работе за компом имею привычку укутывать ноги тёплым пледом. Всё же вертикальный градиент температуры при печном отоплении больше чем в городских квартирах.

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

не.. ну можно превратить девайс в подобие губной гармошки, но это уже другие деньги.

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

Гугл находит средство для перепрограммирования вышеупомянутых педальных клавиатур https://github.com/rgerganov/footswitch Насколько я понял,оно позволяет изменить сканкоды,посылаемые в комп. Что может облегчить задачу имитации нажатия ctrl,alt,shift.

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

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

Ну журналисты, берущие интервью, никуда не делись. Да и рабочие совещания, помнится, писали для памяти. Опять же, лекции.

Так что надо почитать документацию по настройкам xkb - может ли он переключать модификаторы с отдельного устройства ввода,воспринимая при этом буквы-цифры с основной клавиатуры. Хотя я и возился с xkb,но о именно такой возможности как-то не задумывался раньше.

Плюшевая кнопа «Enter» размером с кирпич для особых любителей бить по ней с размаху продается на любом Озоне : Вот смеха ради, я только что подключил вторую клаву к компу, шифт давлю на одной, а буквы на другой. Ну и «все работает». Так что, проблем нет. Осталось вывести от клавы три разъема на педали :)

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

Осталось вывести от клавы три разъема на педали :)

ничто не бывает столь всесильно, как идея, овладевшая массами!

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

Вот смеха ради, я только что подключил вторую клаву к компу, шифт давлю на одной, а буквы на другой. Ну и «все работает».

Отлично. Значит Иксы объединяют «поток» сканкодов с разных устройств. Вот этого удобства я вообще-то не ожидал. Ну то есть что объединяет - знаю, а что не на уровне уже «готовых» букв,а на уровне сканкодов - не знал.

Осталось вывести от клавы три разъема на педали :)

Если у вас так работали две обычные usb-клавы,значит будет также работать и обычная+педальная,и паяльник не потребуется. Надо только объяснить ей какие сканкоды посылать. Вроде как вышеупомянутый footswitch может. А если нет - написать под педальную клаву соответствующую настройку для xkb.

Так что как выяснилось - идея с нажатием ctrl-alt-shift на педалях вполне осуществима.

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

еще можно сделать педали - курсор гонять. вправо-влево, вверх-вниз. всего получается семь педалек.

вот так часок поработал - и будто совершил километровую пробежку. короче полный зож и никаких компромиссов!

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

еще можно сделать педали - курсор гонять.

Собственно,а почему нет? Причем если,как только что выяснилось, Иксы объединяют две подключенные клавиатуры в одну - можно взять любые подходящие для нажатия ногами переключатели и вытащить плату-контроллер из почти любой убитой usb-клавы. Подсоединить одно к другому и хоть 102 педальки делать :-)

watchcat382
() автор топика
Ответ на: комментарий от alysnix

не.. ну можно превратить девайс в подобие губной гармошки, но это уже другие деньги.

Духовых MIDI-контроллеров как грязи и на любой вкус. Хоть обпрограммируйся. :) Даже MIDI-баян есть у Роланда :)

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

не.. ну можно превратить девайс в подобие губной гармошки, но это уже другие деньги.

Зачем подобие? Натурально, MIDI-губная гармошка: https://www.lekholminstruments.com/

Превратить MIDI-поток в клавиатуру — задача решенная

https://github.com/tripodsan/midi2hid

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

Стоит только овердохрена денег, сильно дороже хорошей MIDI-клавиатуры... :(

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

Иксы объединяют две подключенные клавиатуры в одну

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

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

это сделано специально. для командной работы

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

В моей же фразе про иксы было удивление именно тем что объединение клавиатур сделано прямо на уровне сканкодов,то есть получилось нажать shift на одной клавиатуре,а букву на другой, и получить заглавную букву. Я всё же думал что такое не получится и переключение модификатора будет действовать только на ту клаву с которой переключили. Потому что в иксах программа получает keycode, который всегда одинаковый для клавиши, и state в котором закодированы включенные модификаторы. В буквы это преобразуется «выше этажом» в функциях XLookupString и XmbLookupString. В этом случае получается что если один из вышеупомянутой «дружной семьи» случайно забудет на своей клаве включенный capslock то все остальные будут печатать заглавными буквами :)

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

если один из вышеупомянутой «дружной семьи» случайно забудет на своей клаве включенный capslock то все остальные будут печатать заглавными буквами :)

Индикатор капслока тоже общий - один поставит, другой снимет.

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

Это у англичан так читается, а по-русски - Ада. Если будешь спорить с помощью каких-то нормативных бумажек (вдруг такие есть) - не надо, бумажки идут в мусорку, а правильное произношение - то, которое есть по факту.

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

Это едва ли. Имя это хорошо известное, и в русском языке традиционно имеет чтение «Ада». Или мсье говорит «пайтон», а «перл» выговаривает с ротическим R?

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

я вас тут возможно всех удивлю, но это читается как «эйда»

по английски это hell, они там в собственном языке запутались уже.

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

По-моему это не иксы а ядро делает.

Вообще-то судя по Xorg.log иксы видят что в системе присутствует несколько устройств ввода. Воткните вторую клаву и в логе иксов она появится как очередной input device. И в конфиге xorg.conf можно описать именно специфичные для этого девайса настройки. Но и в ядре есть evdev который взаимодействует с иксами довольно хитрым и неочевидным образом. Из-за этого бывает что настройки в xorg.conf игнорируются,а вот втолковать evdev что от него надо бывает сложнее.

watchcat382
() автор топика
Ответ на: комментарий от ripgrep

я вас тут возможно всех удивлю, но это читается как «эйда»

Издательство Мир с вами не согласно. А у них были очень хорошие переводчики именно технической литературы. Не то что нынешние,не способные создать удобные русские эквиваленты иностранным терминам. В результате например вместо принятого в классической литературе по выч.технике «сопрограммы» периодически видим идиотское «корутины». Ну и многое другое тоже в таком же стиле. Кстати всем рекомендую как введение в язык:

https://www.livelib.ru/book/1000824558-yazyk-ada-narejn-dzhehani https://www.libex.ru/detail/book21034.html

https://www.livelib.ru/book/1001539811-prikladnoe-programmirovanie-na-yazyke-ada-yu-vasilesku

(первая и третья у меня даже в бумажном виде есть и бережно хранится еще с 90х)

watchcat382
() автор топика
Последнее исправление: watchcat382 (всего исправлений: 4)
Ответ на: комментарий от Smacker

Или мсье говорит «пайтон», а «перл» выговаривает с ротическим R?

Да уж, перевод имен собственных - штука странная. В качестве примера Айзек Азимов и Исаак Ньютон - при том что имя у них одно и то же. Или вот недавно принц Чарльз вдруг стал в наших СМИ королём Карлом :)

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

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

Это удивительно, но язык в основном Питон (и иногда Пайтон), а Монти, почему-то, всегда Пайтон... :)

Был такой соратник Дарвина, зоолог Гексли, а писатель Олдос уже Хаксли, хотя писатель  — внук биолога с той же фамилией. Я уже не говорю о том, что шрифт — петит, а сорт винограда вердо — пти :) Такие вот парадоксы перевода одного и того же в разное время.

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

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

Раньше больше было искажений при переводе имен и названий: Деды вместо Ораниенбаум – Рамбов говорили, вместо Хаапсалу – Гапсаль. Или они просто ленивее нас были? Хотя сейчас как послушаешь речь некоторых молодых программистов - это просто какой-то англорусский суржик. И,кстати, виноваты в этом филологи и прочие околоязыковые гуманитарии - всё «борются с англицизмами» вместо того чтобы следовать примеру профессионалов из еще советского издательства «Мир» и создавать удобную для русского языка терминологию. Может быть и на основе заимствований,но нормально звучащих для русского человека. Вышеупомянутые книги по Аде - как раз хороший пример качественной работы переводчиков и научных консультантов.

watchcat382
() автор топика
Ответ на: комментарий от firkax

Индикатор капслока тоже общий - один поставит, другой снимет.

Интересно,а светодиод на клавиатурах его будет при этом правильно показывать? На всех подключенных или только на той где поставили?

watchcat382
() автор топика
Ответ на: комментарий от firkax

Если будешь спорить с помощью каких-то нормативных бумажек (вдруг такие есть) - не надо

Для географических названий - точно есть,дипломатами употребляются чтобы однозначность соблюсти. Вон те же нагличане и столицу свою не так называют как она по-русски пишется и слышится. А вот насчет имен собственных сложнее. Особенно если перевод «оттуда-сюда». Хотя и если в наши загранпаспорта посмотреть то в 90х по большей части использовалась классическая именно для дипломатии французская транслитерация,а потом стали использовать более простую американизированную. Видимо потому что в случае сложных для англоязычного слуха русских фамилий всякие клерки «там» не могли соотнести звучание и написание. По-русски как-то проще и написать и произнести фамилии типа «Щекочихин-Крестовоздвиженский» - в английском очень уж много букв получится:) См анекдот: https://fit4brain.com/6788

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

Или вот недавно принц Чарльз вдруг стал в наших СМИ королём Карлом :)

... ровно так же, как наша историография величает (и величала) всех предыдущих Чарльзов и Шарлей. Решили не ломать обратную совместимость, словом.

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

То же самое в китайпосылторге полторы штуки деревянных стоит. Сами удивляемся... :)

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

После прихода кода кнопки в ядро оно уже не знает, с какой клавиатуры он пришёл. Переключение индикатора шлёт всем. То есть тут никто специально не старался что-то синхронизировать или объединять, просто инфа и том, какая именно клавиатура прислала кнопку - ненужная и сразу дропается. Наверно можно постараться и организовать их работу как независимых устройств, но скорее всего не со штатным драйвером клавиатуры а каким-то самописным.

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

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

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

Нет, светодиоды контроллер клавы зажигает сам

Так было только на клавиатурах PC/XT. На всех более новых светодиоды управляются исключительно компом.

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

И действительно. «Чудны дела твои...» Ну погоди. Вот пишу с ноута. нАЖАЛ КАПСЛОК на клаве ноутбука, текст набираю на внешней логитеховской. Светодиодик на внешней клаве загорается с задержкой, но после второго нажатия капса на встроенной не тухнет. Регистр меняется, но тоже с задержкой. Кароч работает, но странно Спасибо, не знал. А, казалось бы, простые вещи... :(

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