cpu: CPU.ARMv8R @ sysbus
    cpuType: "cortex-r52"
    genericInterruptController: gic

gic: IRQControllers.ARM_GenericInterruptController @ {
        sysbus new Bus.BusMultiRegistration { address: 0x94000000; size: 0x10000; region: "distributor" };
        sysbus new IRQControllers.ArmGicRedistributorRegistration { attachedCPU: cpu; address: 0x94100000 }
    }
    [0,1] -> cpu@[0,1]
    supportsTwoSecurityStates: false
    architectureVersion: IRQControllers.ARM_GenericInterruptControllerVersion.GICv3

timer: Timers.ARM_GenericTimer @ cpu
    frequency: 20000000
    EL1PhysicalTimerIRQ -> gic#0@30
    EL1VirtualTimerIRQ -> gic#0@27
    NonSecureEL2PhysicalTimerIRQ -> gic#0@26

dram0: Memory.MappedMemory @ sysbus 0x0
    size: 0x08000000

sram0: Memory.MappedMemory @ sysbus 0x10000000
    size: 0x180000

flash0: Memory.MappedMemory @ sysbus 0x88000000
    size: 0x04000000

gpio: GPIOPort.Renesas_GPIO @ { sysbus 0x800A0000; sysbus 0x81030000 }

sci0: UART.Renesas_SCI @ sysbus 0x80001000
    RxIRQ -> gic@289
    TxIRQ -> gic@290
    TxEndIRQ -> gic@291

sci1: UART.Renesas_SCI @ sysbus 0x80001400

sci2: UART.Renesas_SCI @ sysbus 0x80001800

sci3: UART.Renesas_SCI @ sysbus 0x80001c00

sci4: UART.Renesas_SCI @ sysbus 0x80002000

sci5: UART.Renesas_SCI @ sysbus 0x81001000

sysbus:
    init:
        Tag <0x00000000 0x80000> "CPU0 ATCM"
        Tag <0x00100000 0x10000> "CPU0 BTCM"
        Tag <0x10000000 0x180000> "System RAM"
        Tag <0x11000000 0x10000> "Area for Boot ROM"
        Tag <0x20000000 0x80000> "CPU0 ATCM via AXIS"
        Tag <0x20100000 0x80000> "CPU0 BTCM via AXIS"
        Tag <0x30000000 0x180000> "Mirror area of System RAM"
        Tag <0x40000000 0x8000000> "Mirror area of external address space XSPI0"
        Tag <0x48000000 0x8000000> "Mirror area of external address space XSPI1"
        Tag <0x50000000 0x10000000> "Mirror area of external address space CS0, 2, 3, 5"
        Tag <0x60000000 0x8000000> "External address space xSPI0"
        Tag <0x68000000 0x8000000> "External address space xSPI1"
        Tag <0x70000000 0x10000000> "External address space CS0, 2, 3, 5"
        Tag <0x80000000 0x1000000> "Non-Safety Peripheral"
        Tag <0x80280000 0x320> "SYSC_NS"
        Tag <0x80281A10 0x4> "RWP_NS"
        Tag <0x81000000 0x1000000> "Safety Peripheral"
        Tag <0x81030C00 0x19> "PTADR"
        Tag <0x81280000 0x320> "SYSC_S"
        Tag <0x81281A00 0x4> "RWP_S"
        Tag <0x81280800 0x75> "CLMAm"
        Tag <0x90000000 0x200000> "LLPP Peripheral"
        Tag <0x94000000 0x200000> "GIC0"
        Tag <0x9C000000 0x200000> "GIC1"
        Tag <0xA0000000 0x1000000> "Encoder IF area"
        Tag <0xC0000000 0x1000000> "Debug Private"