Files: /base/devices/arm-vgic.html