Запустить "hello, world" на zybo удалось, правда, собранный не мной, а загруженный из интернета. Как минимум, карточка работает, понятно, как её включать и как запускать с образа, записанного на SD, удаётся подключиться с терминала через USB (это называется то ли UART, то ли JTAG). Подробности (весьма сумбурно изложенные, скорее сужение области поисков, чем конкретные инструкции) есть на моём форуме. Соответственно, задача запуска A2 остаётся актуальной, но нужно её переразбить на этапы. Как - пока не придумал.