arm-vgic.txt 5.0 KB