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

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

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

uart: UART.Murax_UART @ sysbus 0xF0010000
    IRQ -> cpu@11 // Machine External Interrupt

gpioA: GPIOPort.Murax_GPIO @ sysbus 0xF0000000

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