Ник:
Пароль:

Контакты

Cтатус Skype: starterkit.ru
тел.: (+7 3412) 478-448
тел.: +7 922 680-21-73
тел.: +7 922 680-21-74
E-mail: info@starterkit.ru
Партнеры:
otladka.com.ua - г.Киев

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

User Info


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

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

Ник:
Пароль:

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

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

Пункты: 740
Регистрация: 04.02.2011
Пол: Мужчина
Оригинальное ядро Pistachio не удалось собрать для ARM, пришлось брать OKL4.
Действительно, OKL4 основано на Pistachio и совместима с ним на уровне системных вызовов.
На то, чтобы собрать тестовый образ OKL4, ушло 2 дня. Ядро напрочь отказывалось собираться компилятором,
который шёл вместе с платой на образе диска виртуальной машины VMWare. Пришлось скачивать вот отсюда: http://wiki.ok-labs.com/Microkernel#ARM926ejs
Второй проблемой был конфликт средств разработки. Пришлось их устанавливать на "чистую" машину.
В конце концов собрался загрузочный образ, но AT91SAM9G45 отказалась грузить бинарный elf:
"Bad Image Magic Number found! 0x7f454c46"

Порывшись в интернете, нашёл опцию, которая генерирует "бинарный" формат загрузочного файла (okl4_3.0/tools/machines.py):
boot_binary=True

В результате та же ошибка, только сигнатура образа другая:

"Bad Image Magic Number found! 0xd3f029e3"

Сравнил сигнатуру корректного загрузочного образа: 0x27051956

Толкните меня, пожалуйста, в место, где можно подсмотреть формат заголовка загрузочного образа at91_sd.bin.
Спуститься к концу Подняться к началу
Персональная информация
Форум » starterkit.ru » Общение