I am using the A53 FVP model with DS-5. I see that by default this is configured to be used with GICv3 by, for example, reading the architecture version on the GICC_IIDR register. Is it possible to use GICv2 instead? How can I do this?
Thanks in advance