Я знаю, что эта ветка устарела, но у меня была та же проблема, и я нашел решение в ветке поддержки Xilinx. Вам необходимо запустить petalinux-config
и установить конфигурацию u-boot (X) PetaLinux
.
См. Следующую ссылку на службу поддержки Xilinx: AR # 66296