I am trying to implement simple PL to PS interrupt using the IRQ_F2P line on the Zynq. I have an AXI Lite component that exports a pin with single pin interface as interrupt. I can watch it go high in an ILA for a single clock cycle when I want the interrupt to run.
On the PS I have the following code: