Может быть кто-то уже наигрался и может дешево продать отладочную плату с Zynq? Интересны отладки наподобие этой или этой.