Оригинальное ядро 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.