Цитата(count_enable @ Jan 31 2013, 01:31)

К сожалению 12 мне никто не купит

. Я работаю на университетском софте, и обновлять лицензии пока не планируется. Хотя с такими ценами и Zynq-ами это недоразумение наверно и так скоро умрёт, и все будут работать на нормальном бесплатном линуксе.
Petalinux не то чтобы умер - его купил Xilinx, и 12.12 теперь поставляется им же, и скачивается свободно. Однако, лицензия на использование у него отдельная, и она стоит приличных денег. Само собой, ядро линукса никто не продает, ядро Petalinux находится в открытом доступе на git-сервере.
С другой стороны, обычно в линуксовом мире приятно не иметь зависимостей от проприетарных решений. Свежее родное ядро с kernel.org отлично работает на Microblaze. Руководств по сборке много, хотя они местами разрознены, а местами устарели. Тулчейн, C-библиотеку (и, возможно, заготовку rootfs) лучше использовать готовые, по крайней мере для начала. Кроме того, ожидаемо возникнет толкотня с dts-ом. Остальное работает довольно гладко. Busybox также собирается и работает.