This is model of the Secondary Interrupt Controller used in the Versatile Application Baseboard for ARM926EJ-S. The model works with the standard Linux drivers contained in arch/arm/mach-versatile. Model uses a (pre-TLM2) PV TLM interface, which is supported natively in Virtualizer, and through the downloadable Synopsys SCML Source Code Kit in other SystemC simulators