1flash0: Memory.MappedMemory @ sysbus 0x0000_0000
2    size: 0x40000
3
4dwt: Miscellaneous.DWT @ sysbus 0xE000_1000
5    frequency: 72_000_000
6
7sram0: Memory.MappedMemory @ sysbus 0x2000_0000
8    size: 0x8000
9
10nvic0: IRQControllers.NVIC @ {
11    sysbus new Bus.BusPointRegistration { address: 0xE000_E000; cpu: cpu0 }
12}
13    -> cpu0@0
14    systickFrequency: 48_000_000
15
16cpu0: CPU.CortexM @ sysbus
17    cpuType: "cortex-m0+"
18    nvic: nvic0
19    init:
20        PerformanceInMips 48
21
22rtc: Timers.SAMD21_RTC @ sysbus 0x4000_1400
23    IRQ -> nvic0@3
24
25gpio_a: GPIOPort.SAMD21_GPIO @ sysbus 0x4100_4400
26
27gpio_b: GPIOPort.SAMD21_GPIO @ sysbus 0x4100_4480
28
29usart0: UART.SAMD5_UART @ sysbus 0x4200_0800
30    -> nvic0@9
31
32tc4: Timers.SAMD21_Timer @ sysbus 0x4200_3000
33    baseFrequency: 48_000_000
34    IRQ -> nvic0@19
35
36tc6: Timers.SAMD21_Timer @ sysbus 0x4200_3800
37    baseFrequency: 48_000_000
38    IRQ -> nvic0@21
39
40gclk: Memory.ArrayMemory @ sysbus 0x40000C00
41    size: 0x20
42
43usart1: UART.SAMD5_UART @ sysbus 0x4200_0C00
44    -> nvic0@10
45
46usart2: UART.SAMD5_UART @ sysbus 0x4200_1400
47    -> nvic0@12
48
49sysbus:
50    init:
51        Tag <0x40000000 0x08> "Peripheral Access Controller 0"
52        Tag <0x40000400 0x80> "Power Manager"
53        Tag <0x40000800 0x80> "System Control"
54        Tag <0x4000080C 0x4> "System Control: Power and Clocks Status" 0x0000FFFF
55        Tag <0x40000C00 0x10> "Generic Clock Generator"
56        Tag <0x40001000 0x10> "Watchdog Timer"
57        Tag <0x40001400 0x40> "Real-Time Counter"
58        Tag <0x40001800 0x40> "External Interrupt Controller"
59        Tag <0x41002000 0x2000> "Device Service Unit"
60        Tag <0x41004000 0x80> "Non-Volatile Memory Controller"
61        Tag <0x41004400 0x200> "Port Module"
62        Tag <0x41004800 0x80> "Direct Memory Access Controller"
63        Tag <0x41005000 0x1000> "Universal Serial Bus"
64        Tag <0x41006000 0x1000> "Cortex-M0+ Micro-Trace Buffer"
65        Tag <0x42000400 0x80> "Event System Interface"
66        Tag <0x42000800 0x40> "Serial Communication Interface 0"
67        Tag <0x42002000 0x090> "Timer Counter Control 0"
68        Tag <0x42002C00 0x040> "Basic Timer Counter 3"
69        Tag <0x42004000 0x80> "Analog Digital Converter"
70        Tag <0x42004400 0x40> "Analog Comparators"
71        Tag <0x42004800 0x10> "Digital Analog Converter"
72        Tag <0x42005000 0x40> "Inter-IC Sound Interface"
73