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

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

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

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

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

uart0: UART.PL011 @ sysbus 0x9c090000
    -> gic@5