1nvic: IRQControllers.NVIC @ sysbus 0xE000E000
2    -> cpu@0
3
4cpu: CPU.CortexM @ sysbus
5    cpuType: "cortex-m4"
6    nvic: nvic
7
8uart0: UART.NRF52840_UART @ sysbus 0x40002000
9    easyDMA: true
10    -> nvic@2
11
12uart1: UART.NRF52840_UART @ sysbus 0x40028000
13    easyDMA: true
14    -> nvic@40
15
16rtc0: Timers.NRF52840_RTC @ sysbus 0x4000B000
17    numberOfEvents: 3
18    -> nvic@11
19
20rtc1: Timers.NRF52840_RTC @ sysbus 0x40011000
21    numberOfEvents: 3
22    -> nvic@17
23
24rtc2: Timers.NRF52840_RTC @ sysbus 0x40024000
25    numberOfEvents: 4
26    -> nvic@36
27
28wdt: Timers.NRF52840_Watchdog @ sysbus 0x40010000
29    -> nvic@16
30
31ppi: Miscellaneous.NRF52840_PPI @ sysbus 0x4001F000
32
33flash: Memory.MappedMemory @ sysbus 0x0
34    size: 0x100000
35
36ram: Memory.MappedMemory @ { sysbus 0x800000; sysbus 0x20000000 }
37    size: 0x40000
38
39clock: Miscellaneous.NRF_CLOCK @ sysbus 0x40000000
40    -> nvic@0
41
42twi0: I2C.NRF52840_I2C @ sysbus 0x40003000
43    -> nvic@0x3
44
45spi2: SPI.NRF52840_SPI @ sysbus 0x40023000
46    -> nvic@0x23
47
48gpio0: GPIOPort.NRF52840_GPIO @ sysbus 0x50000500
49
50gpio1: GPIOPort.NRF52840_GPIO @ sysbus 0x50000800
51
52gpiote: GPIOPort.NRF52840_GPIOTasksEvents @ sysbus 0x40006000
53    port0: gpio0
54    port1: gpio1
55    -> nvic@6
56
57twi1: I2C.NRF52840_I2C @ sysbus 0x40004000
58    -> nvic@4
59
60timer0: Timers.NRF52840_Timer @ sysbus 0x40008000
61    numberOfEvents: 4
62    -> nvic@8
63
64timer1: Timers.NRF52840_Timer @ sysbus 0x40009000
65    numberOfEvents: 4
66    -> nvic@9
67
68timer2: Timers.NRF52840_Timer @ sysbus 0x4000A000
69    numberOfEvents: 4
70    -> nvic@10
71
72timer3: Timers.NRF52840_Timer @ sysbus 0x4001A000
73    numberOfEvents: 6
74    -> nvic@26
75
76timer4: Timers.NRF52840_Timer @ sysbus 0x4001B000
77    numberOfEvents: 6
78    -> nvic@27
79
80i2s: Sound.NRF52840_I2S @ sysbus 0x40025000
81    -> nvic@37
82
83pdm: Sound.NRF52840_PDM @ sysbus 0x4001D000
84    -> nvic@29
85
86radio: Wireless.NRF52840_Radio @ sysbus 0x40001000
87    -> nvic@1
88
89rng: Miscellaneous.NRF52840_RNG @ sysbus 0x4000D000
90    -> nvic@13
91
92ecb: Miscellaneous.NRF52840_ECB @ sysbus 0x4000E000
93    -> nvic@14
94
95egu0 : Miscellaneous.NRF52840_EGU @ sysbus 0x40014000
96    -> nvic@20
97
98egu1 : Miscellaneous.NRF52840_EGU @ sysbus 0x40015000
99    -> nvic@21
100
101egu2 : Miscellaneous.NRF52840_EGU @ sysbus 0x40016000
102    -> nvic@22
103
104egu3 : Miscellaneous.NRF52840_EGU @ sysbus 0x40017000
105    -> nvic@23
106
107egu4 : Miscellaneous.NRF52840_EGU @ sysbus 0x40018000
108    -> nvic@24
109
110egu5 : Miscellaneous.NRF52840_EGU @ sysbus 0x40019000
111    -> nvic@25
112
113sysbus:
114    init:
115        ApplySVD @https://dl.antmicro.com/projects/renode/svd/NRF52840.svd.gz
116        Tag <0x10000000, 0x10000FFF> "FICR"
117        Tag <0x100000a0, 0x100000a3> "DEVICEADDRTYPE" 0x1 # random address
118        Tag <0x100000a4, 0x100000a7> "DEVICEADDR[0]" 0xAABBCCDD
119        Tag <0x10001200, 0x10001203> "PSELRESET"
120