1cpu: CPU.RiscV32 @ sysbus
2    cpuType: "rv32g"
3    privilegedArchitecture: PrivilegedArchitecture.Priv1_09
4    timeProvider: clint
5
6plic: IRQControllers.PlatformLevelInterruptController @ sysbus 0x40000000
7    0 -> cpu@11
8    numberOfSources: 31
9    numberOfContexts: 1
10    prioritiesEnabled : false
11
12// Power/Reset/Clock/Interrupt
13clint: IRQControllers.CoreLevelInterruptor  @ sysbus 0x44000000
14    frequency: 66000000
15    [0, 1] -> cpu@[3, 7]
16
17ram: Memory.MappedMemory @ sysbus 0x60000000
18    size: 0x06400000
19
20uart: CoSimulated.CoSimulatedUART @ sysbus <0x70000000, +0x100>
21    frequency: 100000000
22