Используемое ПО ISE WebPack 14.7
Virtex-6
Устанавливаю Linux на Microblaze по инструкциям. Hardware конфигурация в XPS создана и экспортирвоана в SDK, но я не могу создать Device tree как описано, так как просят скачать Device Tree Generator из git://github.com/Xilinx/device-tree-xlnx.git. Такого репозитория уже не существует.
Если кто-то устанавливал Linux на Microblaze на отладочную плату ML605, поделитесь рекомендациями.