1cpu: CPU.RiscV32 @ sysbus
2    cpuType: "rv32imc"
3    privilegedArchitecture: PrivilegedArchitecture.Priv1_09
4    timeProvider: clint
5
6tcm: Memory.MappedMemory @ sysbus 0x40000000
7    size: 0x40000
8
9// Power/Reset/Clock/Interrupt
10clint: IRQControllers.MiV_CoreLevelInterruptor  @ sysbus 0x02000000
11    frequency: 50000000
12    prescaler: 100
13    [0, 1] -> cpu@[3, 7]
14
15flash: Memory.MappedMemory @ sysbus 0x60000000
16    size: 0x40000
17
18uart: UART.MiV_CoreUART @ sysbus 0x70001000
19    clockFrequency: 50000000
20
21gpioInputs: GPIOPort.MiV_CoreGPIO @ sysbus 0x70002000
22
23timer0: Timers.MiV_CoreTimer @ sysbus 0x70003000
24    clockFrequency: 50000000
25
26timer1: Timers.MiV_CoreTimer @ sysbus 0x70004000
27    clockFrequency: 50000000
28
29gpioOutputs: GPIOPort.MiV_CoreGPIO @ sysbus 0x70005000
30
31sysbus:
32    init:
33        Tag <0x00006000, 0x00006FFF> "OPSRV"
34