def _on_chip_devices(self):
    return [self.gic, self.vgic, self.gicv2m, self.hdlcd, self.generic_timer]
def _on_chip_devices(self):
    return [self.gic, self.vgic, self.gicv2m, self.hdlcd, self.generic_timer]