Petalinux + Microblaze, Если кто работал, отзовитесь пожалуйста. Опции

[count_enable]

Сейчас разбираюсь с Petalinux 0.40. Как рекомендовано, на чистый центос установил 13.2 Xilinx EDK, распаковал petalinux в отдельную папку, установил переменные окружения (source "settings.h" - проверил грепом, установились). Хочу скомпилировать новое ядро. Делаю как описано в руководстве по курсу Petalinux: /software/petalinux-dist/make menuconfig и во время генерации .config файла мне выскакивает Error: No kernels were detected, хотя ядро лежит как корова в папке петалинукса. Архив с петалинуксом с официального источника. Разгребаться в скриптах пока не хочу - ставил на голую систему, точь-в-точь как говорится в руководстве, разве что версия центоса и EDK поновее.
Буду очень благодарен за советы.

[count_enable]

Спасибо всем отписавшимся!
XUP в универе есть конечно, но я сейчас не слушаю никаких курсов по линуксу и моя работа прямо с ним не связана - ковыряю в свое удовольствие, пока есть возможность. Хотел пойти лёгким путём и поставить петалинукс "искаропки", но теперь прозрел и буду собирать обычное ядро под Microblaze. Думаю что так научусь больше и не буду так зависим от тулчейна.