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 поновее.
Буду очень благодарен за советы.

[xor.kruger]

Хм, в принципе таких туториалов нету, где все описано и разложено по полочкам.
Для получения общего понимания о последовательности этапов (зачем они нужны и почему именно так а не иначе, в не зависимости от юзабельной архитектуры) можно вкратце узнать из книжек "Building Embedded Linux Systems", "Emdedded Linux Primer", "Embedded Linux System Design and Development" и других, которых на самом деле великое множество Также будут полезные сайты linux4sam.org от Atmel и сайт AnalogDevices (соответствующие разделы).

Что касается Xilinx, то прежде всего это wiki.xilinx.com - основные моменты все описаны, а так же monstr.eu.
На самом деле, информации в интернете ну оооочень много, ищете по более конкретным вопросам - и все найдете и узнаете