Да, я знаю, что новым пользователям не рекомендуется создавать новые темы, а имеет смысл сначала пообщаться и обтереться на форуме, но, к сожалению, время очень ценный ресурс, поэтому сразу к делу. Прошу прощения, если такая тема уже поднималась.
Есть непреодолимое желание портировать L4Ka::Pistachio на архитектуру ARM. Вообще-то, NICTA и Open Kernel Labs уже давно портировали Pistachio на ARM и изменили лицензию на коммерческую, однако у меня остались старые исходники Pistachio, в которых есть поддержка процессоров ARM и которая распространялась под Two Clause BSD License.
Собственно вопросы:
Кто нибудь пробовал запустить Pistachio на developmnt boards и с каким успехом? Есть ли заинтересованные в использовании микроядра L4 на ARM?
А какой от этого толк ? как вы написали это _микроядро_, кто будет писать всю остальную надстройку ? или там уже есть готовые сервисы ? Помоему они просто используют микроядро в качестве гипервизора для ядра linux, вот в таком случае я не вижу от него никакого прока, проще нативно использовать linux. Понятно что за микроядрами будущее, но на данный момент на L4 поднять полноценную ОС это слишком сложно.
А вот я категорически не согласен с Вами. Микроядро написал не я, а команда университета Karlsrue. Обвязку как раз пишу я - в моём профиле можете найти результат.
Не сочтите за рекламу, просто посмотрите http://l4os.ru.
Совершенно верно и тут я полостью поддерживаю Вас. И то, что Вы так думаете, придаёт мне хороший оптимизм и веру в будущее.
Честно говоря, я знаю, насколько это сложно. Именно потому, что отдал этому много много лет жизни. Таки посмотрите проект Xameleon - это и есть обвязка поверх микроядра.
Если интересно, я могу прислать исходники L4Ka::Pistachio, версии, которая ещё поддерживает ARM. Лицензия Two Clause BSD. В какой-то момент, разработчики вырезали поддержу ARM из Pistachio и целиком отдали поддержку ARM вот этим ребятам: http://www.ok-labs.com/
Выкладываю версию с поддержкой ARM.
На мой взгляд, самое интересное помимо кода, это спецификация вызовов микроядра ./doc/refman/l4-x2.pdf
Очень красивое решение. Очень.
файл ./kernel/src/api/v4/ipcx.cc запатчен мной на предмет корректной передачи строк в IPC. Разработчики патч не приняли.
Кстати, это к делу не относится, но я верю, что спецификация l4-x2 рано или поздно появится в самом железе, например в микропрограмме процессора.
Сходил на l4os.ru - проект закрытый. В общем для меня это сразу крест на нем :) намного интереснее открытый проект Дрезденского университета (спасибо что напомнили про l4 - давно им не интересовался) http://os.inf.tu-dresden.de/L4Re/
gpl, поддержка ARM из коробки, скорей всего буду заниматься с ним.
титл титлом но реализация l4 от Дрезденского университета мне ближе
киллер-фича фисташки в том что оно верифицировано - математически доказано его полное bug free. Это все круто но предлагаю заглянуть в даташит _любого_ современного процессора/микроконтроллера и увидишь там приличную еррату :)
Хотя помоему наврал - верифицировано ядро в исполнении OKL4, черт ногу там сломит в этих l4 :)
2alman не могли бы Вы провести краткий ликбез если есть время и желание - достоинства и недостатки реализаций l4.
Давайте будем честными - Pistachio лучше спроектирован,чем Fiasco. И самое главное, не побоюсь повториться, это спецификация l4-x2. Очень близко к идеалу.