cpu: CPU.VexRiscv @ sysbus
    cpuType: "rv32im_zicsr_zifencei"

mem: Memory.MappedMemory @ sysbus 0x80000000
    size: 0x40000

mem2: Memory.MappedMemory @ sysbus 0x00001000
    size: 0x40000

uart: CoSimulated.CoSimulatedUART @ sysbus <0xF0010000, +0x1000>
    frequency: 50000000
    -> cpu@11

gpioA: GPIOPort.Murax_GPIO @ sysbus 0xF0000000

timer: Timers.Murax_Timer @ sysbus 0xF0020000
    IRQ -> cpu@7 // Machine Timer Interrupt