| cpu: CPU.VexRiscv @ sysbus | |
| cpuType: "rv32im_zicsr_zifencei" | |
| mem: Memory.MappedMemory @ sysbus 0x80000000 | |
| size: 0x40000 | |
| mem2: Memory.MappedMemory @ sysbus 0x00001000 | |
| size: 0x40000 | |
| uart: Verilated.VerilatedUART @ 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 |