Устанавливаю Linux на Virtex-6. Использую ISE 14.7.
Не получается сгенерировать Device Tree по рекомендациям, так как требуется скачать git://github.com/Xilinx/device-tree.git, но такого репозитория уже не существует. Есть git://github.com/Xilinx/device-tree-xlnx.git, но он не работает с 14.7. При добавлении этого репозитория в SDK, он не появляется, так как имена файлов tcl и mld не соотв. необходимой форме.
Есть ли возможность сгенерировать Device Tree и вообще установить Linux на Microblaze для Virtex-6?