I am trying to complete the helloworld tutorial with the imbedded axi_timer and axi_gpio. This is in Chapter 3 of the Zynq ZedBoard Concepts, Tools and Techniques document. After exporting the design to SDK I cannot compile and run the design because the helloworld.c file calls out an include for the xtmrctr.h file.
Where is this file? It does not seem to be included in the zip file where the tutorial came from and I cannot find it on the xilinx web site either.
Any help would be appreciated.