simobj Platform(SimObject):
    type = 'Platform'
    abstract = True
    interrupt_frequency = Param.Tick(1200, "frequency of interrupts")
    intrctrl = Param.IntrControl(Super, "interrupt controller")