Does Linux use the Zynq's triple timer counters (TTC0/1) for anything by default? Running in AMP mode with Linux on CPU0, I'm trying to use TTC0/TTC1 from CPU1, but don't seem to be able to. I don't see the TTCs' address space in /proc/iomem though. Thanks for any help. Ed