1debugArea: Memory.MappedMemory @ sysbus 0x0
2    size: 0x1000
3
4smallRom: Memory.MappedMemory @ sysbus 0x1000
5    size: 0xF000
6
7flash: Memory.MappedMemory @ sysbus 0x60000000
8    size: 0x40000
9
10ddr: Memory.MappedMemory @ sysbus 0x80000000
11    size: 0x4000000
12
13uart: UART.MiV_CoreUART @ sysbus 0x70001000
14    clockFrequency: 66000000
15
16cpu: CPU.RiscV32 @ sysbus
17    cpuType: "rv32imaf_zicsr_zifencei"
18    privilegedArchitecture: PrivilegedArchitecture.Priv1_10
19    timeProvider: clint
20
21plic: IRQControllers.PlatformLevelInterruptController @ sysbus 0x40000000
22    0 -> cpu@11
23    numberOfSources: 31
24    numberOfContexts: 1
25    prioritiesEnabled : false
26
27// Power/Reset/Clock/Interrupt
28clint: IRQControllers.CoreLevelInterruptor  @ sysbus 0x44000000
29    frequency: 66000000
30    [0, 1] -> cpu@[3, 7]
31
32gpioInputs: GPIOPort.MiV_CoreGPIO @ sysbus 0x70002000
33    -> plic@29
34
35gpioOutputs: GPIOPort.MiV_CoreGPIO @ sysbus 0x70005000
36
37timer0: Timers.MiV_CoreTimer @ sysbus 0x70003000
38    -> plic@30
39    clockFrequency: 66000000
40
41timer1: Timers.MiV_CoreTimer @ sysbus 0x70004000
42    -> plic@31
43    clockFrequency: 66000000
44