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

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

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

bsocspi: SPI.BSOCSPI @ sysbus 0xF0005800

bsocticktimer: Timers.BSOCTickTimer @ sysbus 0xF0007800
    periodInMs: 1

//betrusted_kbd: Input.betrusted_kbd @ 0xF0009000