arm-vgic.txt 810 Bytes