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
Попробую. OKL4 - это коммерческий форк Pistachio на архитектуру ARM. Сначала австралийцы вместе с немцами работали над Pistachio, затем отделились в проект OKL4. С "кухней" я не знаком - давненько не читаю список рассылки. Предполагаю, что сделали это полюбовно, во всяком случае публичных скандалов не было.
Не знаю, насколько OKL4 ушло от исходников трехлетней давности, которые приаттачены на несколько постов выше. Возможно, самый простой способ использовать L4 на ARM - купить ядро от OKL4. Да, пожалуй, для конечного разработчика это самый простой способ.
Что касается Fiasco, то, как бы мне не хотелось об этом говорить, Fiasco всегда в позиции догоняющего. Хотя дрезденцы первые запустили Linux поверх L4, дрезденцы первые наворотили оберток поверх L4. Но они использовали более старую версию спецификации. И технологически они вторые.
Насколько мне известно, остальные реализации L4 не приобрели значительную популярность и скорее это исследовательские проекты, не претендующие на коммерческий успех.
Я хочу очередной раз повториться - спецификация l4-x2 - это бриллиант, ценность которого только начинает понимать общественность.
Наконец, последнее наблюдение. Ребята из System Architecture Group скорее всего поняли, какого джина выпустили из бутылки и очень стараются не потерять контроль над своим детищем. Старые ссылки поменялись, информация на сайте изменилась, не говоря уже о том, что поддержку ARM убрали не только из кода, но и из документации.
Понятно - миллиарды apple и google покоя не дают :) простая виртуализация для ядра linux если верить тестам NICTA сокращает время переключения контекста на фисташке у xscale в 30! раз. К тому же по производительности судя по тестам и ядро qnx сливает фисташке.
Но мне вот что непонятно - вы говорите что фиаска в роли догоняющего а сами основываетесь на ядре 3 летней давности при этом еще закрываете исходники всего что не запрещает лицензия - вы априори уже в роли догоняющих - от участия в вашем проекте нет ни коммерческой выгоды, ни энтузиазма ни базы для обучения, неудивительно что после заявлений о своей ОС на многих IT форумах (да - "alman l4" легко гуглится :) у вас на форуме нет ниодного сообщения.
Самое интересное, что ядро 3-х летней давности меня полностью устраивает. Оно работает так, как заявил производитель и полностью выполняет свои функции.
Вопрос из области философии. Наивно полагать что открыв код, вы получите армию помощников. Выше я давал ссылку на l4-console - собственно с чего и начинался проект. Я не увидел ни одного заинтересованного разработчика.
А кого, собственно, догонять? L4Hurd сошёл с дистанции.
Вот поэтому я и смотрю в сторону ARM. Поскольку разработчики встраиваемых систем более разбираются в предмете, нежели прикладные программисты.
Я готов потратить около 10 тыс. рублей, если буду уверен, что Pistachio запустится на SK-AT91SAM9G45 development board (или аналогичном устройстве).
Думается, поставщики и производители development boards заинтересованы в том, чтобы их продукт поддерживался ещё одной операционной системой. Даже файловая система не будет лишней - внешний HDD можно подключить по USB интерфейсу.
Вы хотите сказать что целая университетская команда при спонсорских вливаниях ничего не делала 3 года ? И вы еще меня называете наивным ?
Наивно было полагать что написав только эмулятор терминала для микроядра с непонятными перспективами (8 лет назад тот же linux почти ничего из себя не представлял в глобальном смысле) появятся толпы желающих участвовать в этом.
Тех ребят из NICTA которые с L4 творят чудеса
Если в том ядре реализована работа с 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
Дилетантский вопрос перед заказом - что мне понадобится кроме самой платы? Заинтересовала модель SK-AT91SAM9G45.
Какой USB отладчик/программатор порекомендуете? Насколько я понимаю, это обязательный аксессуар.
периферия у at91sam9260 и at91sam9g45 совпадает процентов на 90, у g45 есть lcd контроллер, "настоящий" контроллер dma помимо pdc, частота ядра в два раза выше и контроллер ddr2. + другие приятные мелочи как например возможность прямой загрузки с sd. Так что в целом он намного интересней 9260.
Тут я ничего не могу рекомендовать потому что ниразу им не пользовался :) Навенрно это удобно но мне он не нужен.
По поводу фисташки - я просмотрел вчера бегло ваш архив, даже попробовал собрать для платы 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 и процесса загрузки ? есть ли какие то требования к внешнему загрузчику ?
Кстати, наконец-то оформил заказ на SK-AT91SAM9G45 и на экран. Надеюсь, мы с компаньоном портируем Pistachio на это устройство. Если возникнут проблемы - будем потихоньку надоедать вопросами. Также надеюсь что информации, предоставленной в этой теме, будет достаточно, если вдумчиво перечитать Ваши ответы и вообще покопаться в недрах starterkit форума.
Ну а если, не дай Бог, не осилим портирование Pistachio (бр-р-р, об этом даже думать не хочется), то используем OKL4 - вроде бы ABI полностью соответствует спецификации l4-x2.
Будем держать вас в курсе о достигнутых результатах. Жаль, почта у нас неторопливая, а ведь так хочется скорее запустить свои любопытные ручонки в этот девайс.
Для начала попробуйте собрать ядро для любого устройства на арм для которого там уже есть поддержка, я попробовал собрать его gcc3 от codesourcery - результат тот же, где-то в arm glue проблемы.