Files: /base/arm-vgic.html