I wish to implement a timer interrupt without using the xilinx driver for the PPC processor Virtex4 FX. EDK 9.1 used to build hardware with 32 bit interrupt timer. I would have thought it trivial to write and load an interrupt service routine which calls an external function and returns. What is required is the int_service_routine(), function_to_load_it( (int_service_routine)) and intEnable() and intDisable(). Can anyone point me in the right direction for an example of this.