1dram: Memory.MappedMemory @ sysbus 0x80000000
2    size: 0x80000000
3
4uart0: UART.NS16550 @ sysbus 0x10000000
5    IRQ -> plic@3
6
7cpu: CPU.RiscV32 @ sysbus
8    cpuType: "rv32imac"
9    privilegedArchitecture: PrivilegedArchitecture.Priv1_10
10    timeProvider: clint
11    hartId: 0
12
13plic: IRQControllers.PlatformLevelInterruptController @ sysbus 0x0C000000
14    0 -> cpu@11
15    numberOfSources: 52
16    numberOfContexts: 1
17
18clint: IRQControllers.CoreLevelInterruptor  @ sysbus 0x02000000
19    [0,1] -> cpu@[3,7]
20    frequency: 10000000
21
22