MicroZed Chronicles リスト http://adiuvoengineering.com/?page_id=285
@ Adam Taylor blog
https://forums.xilinx.com/t5/Xcell-Daily-Blog/MicroZed-Timers-Clocks-and-Watchdogs-Adam-Taylor-s-MicroZed/ba-p/399219
関連 http://qiita.com/7of9/items/23c586bbbafe80ed1cc5
The Zynq SoC’s private timers, watchdog and global timer do not require any changes to the Vivado project to use. However, you must enable the TTC or the system watchdog Timer within the processing system definition in a Vivado project to use them.
タイマーのうち、デフォルトで使用可能なタイマーとBlock Diagram画面で設定して使えるタイマーがあるとのこと。