Go to file
2016-03-14 10:50:27 -06:00
configs Make it clear that GIC support is GICv2 2016-03-14 10:50:27 -06:00