The Freescale and ARM documentation don't seem to say anything about how to tell the difference.
Hi, Tyler
I think it should be a v1, as we can read from register of GIC_DIST_ICPIDR2, the value is 0x1B, so it is v1. And from what I did on GIC before, we support secure mode, so it should be a GICv1 with security extension.
never-displayed