1bootRom: Memory.MappedMemory @ sysbus 0x1A000000
2    size: 0x2000
3
4ram: Memory.MappedMemory @ { sysbus 0x1C000000; sysbus 0x0 }
5    size: 0x80000
6
7cpu: CPU.CV32E40P @ sysbus
8    privilegedArchitecture: PrivilegedArchitecture.Priv1_11
9    // We are overriding the default value to include information about coreID and clusterID
10    HartId: 0x3e0
11
12itc_ev: IRQControllers.PULP_EventController @ itc
13    parent: itc
14
15itc: IRQControllers.PULP_InterruptController @ sysbus 0x1A109800
16    [0-31] -> cpu@[0-31]
17
18uart: UART.PULP_uDMA_UART @ sysbus 0x1A102100
19    RxIRQ -> itc_ev@4
20    TxIRQ -> itc_ev@5
21
22timer: Timers.PULP_Timer @ sysbus 0x1A10B000
23    frequency: 100000
24    [0, 1] -> itc@[10, 11]
25
26gpio: GPIOPort.PULP_APB_GPIO @ sysbus 0x1A101000
27
28i2s: Sound.PULP_I2S @ sysbus 0x1A102200
29    [0, 1, 2] -> itc_ev@[12, 13, 28]
30
31stdout: UART.PULP_STDOUT@ sysbus 0x1A10FF80
32
33i2c0: I2C.PULP_uDMA_I2C @ sysbus <0x1A102180, +0x80>
34    RxEvent -> itc_ev@8
35    TxEvent -> itc_ev@9
36
37spi: SPI.PULP_uDMA_SPI @ sysbus 0x1A102080
38    RxIRQ -> itc_ev@0
39    TxIRQ -> itc_ev@1
40    CmdIRQ -> itc_ev@2
41
42camera_controller: Sensors.PULP_uDMA_Camera @ sysbus 0x1A102280
43    IRQ -> itc_ev@16
44
45sysbus:
46    init:
47        Tag <0x1A100000, 0x1A100FFF> "FLL"
48
49        Tag <0x1A102000, 0x1A10207F> "UDMA"
50        Tag <0x1A102300, 0x1A10237F> "FILTER"
51        Tag <0x1A102380, 0x1A1023FF> "FPGA_CONTROL"
52
53        Tag <0x1A104000, 0x1A104FFF> "SOC_CONTROL"
54        Tag <0x1A105000, 0x1A105FFF> "ADVANCED_TIMER"
55        Tag <0x1A106000, 0x1A106FFF> "SOC_EVENT_GENERATOR"
56        Tag <0x1A109000, 0x1A1097FF> "EVENT/INTERRUPT_UNIT"
57        Tag <0x1A10B000, 0x1A10BFFF> "TIMER"
58        Tag <0x1A10C000, 0x1A10CFFF> "HWPE"
59        Tag <0x1A110000, 0x1A110FFF> "DEBUG_UNIT"
60