Cyclone 5 SoC HPS GIC

I try to make interrupts work.

I read ARM GIC documents, however they are for GICv2. Which version does the Cyclone 5 SoC HPS support, I wonder?

Thanks!