Цитата
mkimage -- это ехе-шник, который где-то в недрах DS-5 родится, если самому компилить Прелоадер.
Надо поискать *mkimage* -- исходники его поставляются.
Помогло добавлением в переменную PATH пути до cygwin, который поставляется с Квартусом
Но так и не смог запустить ваш пример инициализации MMU

Подцепил вроде все нужные инклуды, но компилятор упорно ругается на альтерные функции, которые в примере используются. Собирал gcc. Не поделитесь мудростью, как вы этот код все таки запустили?
ЗЫ: как я понял, инициализация MMU и является тем узким местом, которое влияет на конечную производительность ядра? В случае загрузки линукса она встроена в процесс запуска ОС, а в случае baremetal приходится делать ее вручную?