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

Современная версия петалинукса - 12.12. Если есть возможность, можно было бы попробовать ее. Возможно, она лучше интегрирована с современными версиями xps.

К сожалению 12 мне никто не купит . Я работаю на университетском софте, и обновлять лицензии пока не планируется. Хотя с такими ценами и Zynq-ами это недоразумение наверно и так скоро умрёт, и все будут работать на нормальном бесплатном линуксе.

В составе последнего дистра Petalinux самое полезное - это последняя версия компилятора GCC (на базе Crosstool-NG) и исходники загрузчика FS-Boot, остальное - это плюшки в виде доп. скриптов для отладчика, qemu и прочего...
Поэтому советую все делать по "старинке" - ядро с kernel.org, rootfs на базе busybox (buildroot), загрузчик второго уровня - U-boot.
Это и будет самый верный и идеологически правильный путь, особенно если вы хотите в этом разобраться с самого начала

Спасибо за совет. Пожалуйста, ткните носом в документацию (желательно "для самых маленьких"), как собрать линукс под Microblaze. Я даже под арм никогда сам не собирал, всегда ставил готовые сборки.

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

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

Спасибо большое! Если припомните еще полезные материалы по линуксостроению и написанию драйверов для устройств на AXI4 и AMBA-шинах - буду очень благодарен.

Нету принципиальной разницы под какую архитектуру или шину писать драйвера - принципы и основы всегда одни и те же. А вот литература по нем, имхо, самая лучшая это "Linux Device Drivers", "Essential Linux Device Drivers", а также робота О. Цилюрика "Драйверы и модули ядра Linux".

Petalinux не то чтобы умер - его купил Xilinx, и 12.12 теперь поставляется им же, и скачивается свободно. Однако, лицензия на использование у него отдельная, и она стоит приличных денег. Само собой, ядро линукса никто не продает, ядро Petalinux находится в открытом доступе на git-сервере.

С другой стороны, обычно в линуксовом мире приятно не иметь зависимостей от проприетарных решений. Свежее родное ядро с kernel.org отлично работает на Microblaze. Руководств по сборке много, хотя они местами разрознены, а местами устарели. Тулчейн, C-библиотеку (и, возможно, заготовку rootfs) лучше использовать готовые, по крайней мере для начала. Кроме того, ожидаемо возникнет толкотня с dts-ом. Остальное работает довольно гладко. Busybox также собирается и работает.

Кстати заметил что последняя версия тулчейна инсталится и находится в составе Xilinx EDK (версия 14.4) и теперь тулчейн можно не тащить отдельно с git-овского сервера Xilinx или не качать ради него 800 метровый архив с петалинуксом.
Директория где это добро находится (у меня EDK заинсталин в каталог в /opt):

для справки - на петалинукс 12 можно заказать пробную лицензию на год без ограничения функционала
- для университетов существует программа XUP, узнайте, быть может ваш ВУЗ в ней участвует.

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