Здравствуйте.

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

Есть непреодолимое желание портировать L4Ka::Pistachio на архитектуру ARM. Вообще-то, NICTA и Open Kernel Labs уже давно портировали Pistachio на ARM и изменили лицензию на коммерческую, однако у меня остались старые исходники Pistachio, в которых есть поддержка процессоров ARM и которая распространялась под Two Clause BSD License.

Собственно вопросы:
Кто нибудь пробовал запустить Pistachio на developmnt boards и с каким успехом? Есть ли заинтересованные в использовании микроядра L4 на ARM?

Спасибо.

а в чем проблема то? уарт сначала, дальше проще. в качестве загрузчика можно у-бут использовать. для 926 ядер. арм7 не рассматриваю, нету =)

Цитата

Есть ли заинтересованные в использовании микроядра L4 на ARM?

А какой от этого толк ? как вы написали это _микроядро_, кто будет писать всю остальную надстройку ? или там уже есть готовые сервисы ? Помоему они просто используют микроядро в качестве гипервизора для ядра linux, вот в таком случае я не вижу от него никакого прока, проще нативно использовать linux. Понятно что за микроядрами будущее, но на данный момент на L4 поднять полноценную ОС это слишком сложно.

Цитата

А какой от этого толк ? как вы написали это _микроядро_, кто будет писать всю остальную надстройку ?

А вот я категорически не согласен с Вами. Микроядро написал не я, а команда университета Karlsrue. Обвязку как раз пишу я - в моём профиле можете найти результат.

Цитата

или там уже есть готовые сервисы ?

Не сочтите за рекламу, просто посмотрите http://l4os.ru.

Цитата

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

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

Цитата

Понятно что за микроядрами будущее, но на данный момент на L4 поднять полноценную ОС это слишком сложно.

Честно говоря, я знаю, насколько это сложно. Именно потому, что отдал этому много много лет жизни. Таки посмотрите проект Xameleon - это и есть обвязка поверх микроядра.

Цитата

а в чем проблема то? уарт сначала, дальше проще. в качестве загрузчика можно у-бут использовать. для 926 ядер. арм7 не рассматриваю, нету =)

Если интересно, я могу прислать исходники 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 рано или поздно появится в самом железе, например в микропрограмме процессора.

Attachment file: uploads/forum/forum-TeYImCCWjf-2616.tgz

Сходил на l4os.ru - проект закрытый. В общем для меня это сразу крест на нем :) намного интереснее открытый проект Дрезденского университета (спасибо что напомнили про l4 - давно им не интересовался)
http://os.inf.tu-dresden.de/L4Re/
gpl, поддержка ARM из коробки, скорей всего буду заниматься с ним.

титл титлом но реализация l4 от Дрезденского университета мне ближе

Цитата

In contrast to L4Ka::Hazelnut, which does not allow concurrency in the kernel at all and its successor L4Ka::Pistachio, which allows interrupts in the kernel only at specific preemption points, L4/Fiasco is fully preemptible (with the exception of extremely short atomic operations) to achieve a low interrupt latency. This was considered necessary because L4/Fiasco is used as the basis of DROPS, a hard real-time capable operating system, also developed at the TU Dresden.

киллер-фича фисташки в том что оно верифицировано - математически доказано его полное bug free. Это все круто но предлагаю заглянуть в даташит _любого_ современного процессора/микроконтроллера и увидишь там приличную еррату :)

Хотя помоему наврал - верифицировано ядро в исполнении OKL4, черт ногу там сломит в этих l4 :)

2alman не могли бы Вы провести краткий ликбез если есть время и желание - достоинства и недостатки реализаций l4.

Цитата

Сходил на l4os.ru - проект закрытый. В общем для меня это сразу крест на нем :)

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

Цитата

намного интереснее открытый проект Дрезденского университета (спасибо что напомнили про l4 - давно им не интересовался)
gpl, поддержка ARM из коробки, скорей всего буду заниматься с ним.

Вы о Fiasco? Как корабль назовёшь, так он и поплывёт. :)
Между прочим, я начинал именно с Fiasco, даже доказательство есть - http://savannah.nongnu.org/projects/l4-console/

Давайте будем честными - Pistachio лучше спроектирован,чем Fiasco. И самое главное, не побоюсь повториться, это спецификация l4-x2. Очень близко к идеалу.