1rom0: Memory.MappedMemory @ sysbus 0x0
2    size: 0x500000
3
4rom: Memory.MappedMemory @ sysbus 0x20000000
5    size: 0x300000
6
7flash: Memory.MappedMemory @ sysbus 0x20300000
8    size: 0x300000
9
10ram: Memory.MappedMemory @ sysbus 0x20600000
11    size: 0x300000
12
13// Virtual uart's memory
14htif_mem: Memory.MappedMemory @sysbus 0xD0580000
15    size: 0x1000
16
17cpu: CPU.VeeR_EL2 @ sysbus
18    hartId: 0
19    timeProvider: clint
20
21clint: IRQControllers.CoreLevelInterruptor  @ sysbus 0x02000000
22    [0,1] -> cpu@[3,7]
23    frequency: 1000000
24
25plic: IRQControllers.PlatformLevelInterruptController @ sysbus 0xf00c0000
26    [0,1] -> cpu@[11,9]
27    numberOfSources: 64
28    numberOfContexts: 2
29