arm-vgic-v3.txt 10.9 KB