Warning: touch() [function.touch]: Unable to create file /home/starterkit/starterkit.ru/html/error.log because Permission denied in /home/starterkit/starterkit.ru/html/errorhandler.php on line 51
L4Ka::Pistachio - Общение - Форум - starterkit.ru
Ник:
Пароль:

Контакты

E-mail: info@starterkit.ru
тел.: +7 922 680-21-73
тел.: +7 922 680-21-74
Телеграм: t.me/starterkit_ru
Партнеры:
otladka.com.ua - г.Киев

Способы оплаты

User Info


Добро пожаловать,
Guest

Регистрация или входРегистрация или вход
Потеряли пароль?Потеряли пароль?

Ник:
Пароль:

ПользователейПользователей:0
Поисковых ботовПоисковых ботов:2
ГостейГостей:1

ОбновитьПодробнееВсегоВсего:3
Форум » starterkit.ru » Общение
L4Ka::Pistachio
alman
Добавлено 05.02.2011 21:38 Сообщение: 11
alman
2

Пункты: 740
Регистрация: 04.02.2011
Пол: Мужчина
Цитата

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

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


Попробую. OKL4 - это коммерческий форк Pistachio на архитектуру ARM. Сначала австралийцы вместе с немцами работали над Pistachio, затем отделились в проект OKL4. С "кухней" я не знаком - давненько не читаю список рассылки. Предполагаю, что сделали это полюбовно, во всяком случае публичных скандалов не было.

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

Что касается Fiasco, то, как бы мне не хотелось об этом говорить, Fiasco всегда в позиции догоняющего. Хотя дрезденцы первые запустили Linux поверх L4, дрезденцы первые наворотили оберток поверх L4. Но они использовали более старую версию спецификации. И технологически они вторые.

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

Я хочу очередной раз повториться - спецификация l4-x2 - это бриллиант, ценность которого только начинает понимать общественность.

Наконец, последнее наблюдение. Ребята из System Architecture Group скорее всего поняли, какого джина выпустили из бутылки и очень стараются не потерять контроль над своим детищем. Старые ссылки поменялись, информация на сайте изменилась, не говоря уже о том, что поддержку ARM убрали не только из кода, но и из документации.
Спуститься к концу Подняться к началу
Персональная информация
sasamy
Добавлено 05.02.2011 23:13 Сообщение: 12
sasamy
4.70

Пункты: 76182
Регистрация: 14.08.2009
Цитата
Наконец, последнее наблюдение. Ребята из System Architecture Group скорее всего поняли, какого джина выпустили из бутылки и очень стараются не потерять контроль над своим детищем. Старые ссылки поменялись, информация на сайте изменилась, не говоря уже о том, что поддержку ARM убрали не только из кода, но и из документации.


Понятно - миллиарды apple и google покоя не дают :) простая виртуализация для ядра linux если верить тестам NICTA сокращает время переключения контекста на фисташке у xscale в 30! раз. К тому же по производительности судя по тестам и ядро qnx сливает фисташке.
Но мне вот что непонятно - вы говорите что фиаска в роли догоняющего а сами основываетесь на ядре 3 летней давности при этом еще закрываете исходники всего что не запрещает лицензия - вы априори уже в роли догоняющих - от участия в вашем проекте нет ни коммерческой выгоды, ни энтузиазма ни базы для обучения, неудивительно что после заявлений о своей ОС на многих IT форумах (да - "alman l4" легко гуглится :) у вас на форуме нет ниодного сообщения.
Спуститься к концу Подняться к началу
Персональная информация
rw9uao
Добавлено 06.02.2011 09:14 Сообщение: 13
rw9uao
Ранг
5

Группа: Клиенты
Пункты: 6973
Регистрация: 26.03.2009
какой-то академический спор =)
Спуститься к концу Подняться к началу
Персональная информация
alman
Добавлено 06.02.2011 10:36 Сообщение: 14
alman
2

Пункты: 740
Регистрация: 04.02.2011
Пол: Мужчина
Цитата

Но мне вот что непонятно - вы говорите что фиаска в роли догоняющего а сами основываетесь на ядре 3 летней давности


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

Цитата

при этом еще закрываете исходники всего что не запрещает лицензия - вы априори уже в роли догоняющих


Вопрос из области философии. Наивно полагать что открыв код, вы получите армию помощников. Выше я давал ссылку на l4-console - собственно с чего и начинался проект. Я не увидел ни одного заинтересованного разработчика.
А кого, собственно, догонять? L4Hurd сошёл с дистанции.

Цитата

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

Вот поэтому я и смотрю в сторону ARM. Поскольку разработчики встраиваемых систем более разбираются в предмете, нежели прикладные программисты.
Спуститься к концу Подняться к началу
Персональная информация
alman
Добавлено 06.02.2011 10:54 Сообщение: 15
alman
2

Пункты: 740
Регистрация: 04.02.2011
Пол: Мужчина
Цитата
какой-то академический спор =)


Я готов потратить около 10 тыс. рублей, если буду уверен, что Pistachio запустится на SK-AT91SAM9G45 development board (или аналогичном устройстве).

Думается, поставщики и производители development boards заинтересованы в том, чтобы их продукт поддерживался ещё одной операционной системой. Даже файловая система не будет лишней - внешний HDD можно подключить по USB интерфейсу.
Спуститься к концу Подняться к началу
Персональная информация
sasamy
Добавлено 06.02.2011 11:46 Редактировалось 06.02.2011 13:03 Сообщение: 16
sasamy
4.70

Пункты: 76182
Регистрация: 14.08.2009
Цитата

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


Вы хотите сказать что целая университетская команда при спонсорских вливаниях ничего не делала 3 года ? И вы еще меня называете наивным ?

Цитата

Вопрос из области философии. Наивно полагать что открыв код, вы получите армию помощников. Выше я давал ссылку на l4-console - собственно с чего и начинался проект. Я не увидел ни одного заинтересованного разработчика.


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

Цитата

А кого, собственно, догонять? L4Hurd сошёл с дистанции.


Тех ребят из NICTA которые с L4 творят чудеса

Цитата

Я готов потратить около 10 тыс. рублей, если буду уверен, что Pistachio запустится на SK-AT91SAM9G45 development board (или аналогичном устройстве).


Если в том ядре реализована работа с mmu, кешами, прерываниями то усилия нужны минимальные - контроллер прерываний, таймер (если нужен) да последовательный порт (пока можно и без dma). Можете тут взять
http://sasamy.narod.ru/armwork/at91_1.patch
дарю :) констатнты с адресами периферии нужно скорректировать под g45/m1, лицензия bsd - можете закрывать
Инициализацию контроллеров ddr & sdram для наших плат можно найти тут http://www.starterkit.ru/html/index.php?name=forum&op=view&id=10047&num=4#11280
Спуститься к концу Подняться к началу
Персональная информация
alman
Добавлено 07.02.2011 01:55 Сообщение: 17
alman
2

Пункты: 740
Регистрация: 04.02.2011
Пол: Мужчина
Огромное спасибо, sasamy!

Дилетантский вопрос перед заказом - что мне понадобится кроме самой платы? Заинтересовала модель SK-AT91SAM9G45.
Какой USB отладчик/программатор порекомендуете? Насколько я понимаю, это обязательный аксессуар.
Спуститься к концу Подняться к началу
Персональная информация
sasamy
Добавлено 07.02.2011 12:31 Сообщение: 18
sasamy
4.70

Пункты: 76182
Регистрация: 14.08.2009
Цитата
Дилетантский вопрос перед заказом - что мне понадобится кроме самой платы?


Блок питания :)

Цитата
Заинтересовала модель SK-AT91SAM9G45.


периферия у at91sam9260 и at91sam9g45 совпадает процентов на 90, у g45 есть lcd контроллер, "настоящий" контроллер dma помимо pdc, частота ядра в два раза выше и контроллер ddr2. + другие приятные мелочи как например возможность прямой загрузки с sd. Так что в целом он намного интересней 9260.

Цитата

Какой USB отладчик/программатор порекомендуете? Насколько я понимаю, это обязательный аксессуар.


Тут я ничего не могу рекомендовать потому что ниразу им не пользовался :) Навенрно это удобно но мне он не нужен.

По поводу фисташки - я просмотрел вчера бегло ваш архив, даже попробовал собрать для платы PLEB2 (там где xscale pxa255 - у него ядро наиболее близкое) но имидж не собрался, там похоже нужна старая версия gcc (я пробовал gcc 4.3.3 arm-angstrom-linux-gnueabi), вылетает сразу же где-то в начале. Похоже все что должно быть в ядре есть, нужно как я уже говорил всего 3 вещи для порта:
1 сконфигурировать контроллер прерываний. Насколько я понял в у фисташки нет поддержки вложенных прерываний и приоритетов, так что возможно нужно будет изменить настройку - в микроядре prex это все есть и я использовал аппаратные возможности атмеловского контроллера.
2 Системный таймер - я брал TC0 в качестве системного таймера потому что prex не поддерживает shared irq а специальный интервальный тайер у атмел делит один irq с портом dbgu. Думаю в фисташке будет тоже самое
3 Последовательный порт - я брал dbgu естественно, так что тут будет тоже самое.
Есть ли вообще где-то описание конкретно порта для arm и процесса загрузки ? есть ли какие то требования к внешнему загрузчику ?
Спуститься к концу Подняться к началу
Персональная информация
alman
Добавлено 10.02.2011 04:19 Редактировалось 10.02.2011 04:26 Сообщение: 19
alman
2

Пункты: 740
Регистрация: 04.02.2011
Пол: Мужчина
Цитата

Есть ли вообще где-то описание конкретно порта для arm и процесса загрузки ? есть ли какие то требования к внешнему загрузчику ?


Еле нашёл. Вот здесь вопрос о построении и загрузке образа для ARM: https://lists.ira.uni-karlsruhe.de/pipermail/l4ka/2006-March/001591.html

А здесь утилита, которая собирает несколько исполняемых модулей в один бинарный файл: http://ertos.nicta.com.au/software/kenge/dite/devel/

Кстати, наконец-то оформил заказ на SK-AT91SAM9G45 и на экран. Надеюсь, мы с компаньоном портируем Pistachio на это устройство. Если возникнут проблемы - будем потихоньку надоедать вопросами. Также надеюсь что информации, предоставленной в этой теме, будет достаточно, если вдумчиво перечитать Ваши ответы и вообще покопаться в недрах starterkit форума.
Ну а если, не дай Бог, не осилим портирование Pistachio (бр-р-р, об этом даже думать не хочется), то используем OKL4 - вроде бы ABI полностью соответствует спецификации l4-x2.
Будем держать вас в курсе о достигнутых результатах. Жаль, почта у нас неторопливая, а ведь так хочется скорее запустить свои любопытные ручонки в этот девайс.
Спуститься к концу Подняться к началу
Персональная информация
sasamy
Добавлено 10.02.2011 11:25 Сообщение: 20
sasamy
4.70

Пункты: 76182
Регистрация: 14.08.2009
Цитата
Ну а если, не дай Бог, не осилим портирование Pistachio


Для начала попробуйте собрать ядро для любого устройства на арм для которого там уже есть поддержка, я попробовал собрать его gcc3 от codesourcery - результат тот же, где-то в arm glue проблемы.
Спуститься к концу Подняться к началу
Персональная информация
Форум » starterkit.ru » Общение