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

mem: Memory.MappedMemory @ sysbus 0x20500000
    size: 0x10000

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

mem3: Memory.MappedMemory @ sysbus 0x40000000
    size: 0x10000000

fbmem: Memory.MappedMemory @ sysbus 0xB0000000
    size: 0x6000

fb: Video.fb @ sysbus 0xF0005000