1i2c0: I2C.EFR32_I2CController @ sysbus <0x4000c000, +0x400>
2    -> nvic@16
3
4usart0: UART.EFR32_USART @ sysbus <0x40010000, +0x400>
5    ReceiveIRQ -> nvic@11
6    TransmitIRQ -> nvic@12
7    RxDataAvailableRequest -> ldma@0x00c0
8    RxDataAvailableSingleRequest -> ldma@0x10c0
9    TxBufferLowRequest -> ldma@0x00c1
10    TxBufferLowSingleRequest -> ldma@0x10c1
11    TxEmptyRequest -> ldma@0x00c2
12usart1: UART.EFR32_USART @ sysbus <0x40010400, +0x400>
13    ReceiveIRQ -> nvic@19
14    TransmitIRQ -> nvic@20
15    RxDataAvailableRequest -> ldma@0x00d0
16    RxDataAvailableSingleRequest -> ldma@0x10d0
17    TxBufferLowRequest -> ldma@0x00d1
18    TxBufferLowSingleRequest -> ldma@0x10d1
19    TxEmptyRequest -> ldma@0x00d2
20    RxDataAvailableRightRequest -> ldma@0x00d3
21    RxDataAvailableRightSingleRequest -> ldma@0x10d3
22    TxBufferLowRightRequest -> ldma@0x00d4
23    TxBufferLowRightSingleRequest -> ldma@0x10d4
24
25leUart0: UART.LEUART @ sysbus <0x4004a000, +0x400>
26    -> nvic@21
27
28gpioPort: GPIOPort.EFR32_GPIOPort @ sysbus 0x4000a000
29    EvenIRQ -> nvic@9
30    OddIRQ -> nvic@17
31
32bitband_peripherals: Miscellaneous.BitBanding @ sysbus <0x42000000, +0x2000000>
33    peripheralBase: 0x40000000
34
35bitclear: Miscellaneous.BitAccess @ sysbus <0x44000000, +0xf0400>
36    address: 0x40000000
37    mode: BitAccessMode.Clear
38
39bitset: Miscellaneous.BitAccess @ sysbus <0x46000000, +0xf0400>
40    address: 0x40000000
41    mode: BitAccessMode.Set
42
43bitband_sram: Miscellaneous.BitBanding @ sysbus <0x22000000, +0x2000000>
44    peripheralBase: 0x20000000
45
46sram: Memory.MappedMemory @ sysbus 0x20000000
47    size: 0x00008000
48
49flash: Memory.MappedMemory @ sysbus 0x00000000
50    size: 0x00040000
51
52nvic: IRQControllers.NVIC @ sysbus 0xE000E000
53    IRQ -> cpu@0
54
55cpu: CPU.CortexM @ sysbus
56    nvic: nvic
57    cpuType: "cortex-m4f"
58
59gpcrc: Miscellaneous.SiLabs.EFR32_GPCRC @ sysbus 0x4001c000
60
61timer0: Timers.EFR32_Timer @ sysbus 0x40018000
62    frequency: 0x1000000 //bogus
63    width: TimerWidth.Bit16
64    -> nvic@10
65
66timer1: Timers.EFR32_Timer @ sysbus 0x40018400
67    frequency: 0x1000000 //bogus
68    width: TimerWidth.Bit16
69    -> nvic@18
70
71cmu: Miscellaneous.EFR32_CMU @ sysbus 0x400e4000
72
73ldma: DMA.EFR32MG12_LDMA @ sysbus 0x400e2000
74    -> nvic@9
75
76sysbus:
77    init:
78        Tag <0x400e0000,0x400e07ff> "MSC"
79        Tag <0x400e3000,0x400e33ff> "EMU"
80        Tag <0x400e5000,0x400e53ff> "RMU"
81        Tag <0x400e6000,0x400e63ff> "PRS"
82        Tag <0x400e1000,0x400e13ff> "FPUEH"
83        Tag <0x40046000,0x400463ff> "LETIMER0"
84        Tag <0x4001e000,0x4001e3ff> "CRYOTIMER"
85        Tag <0x4004e000,0x4004e3ff> "PCNT0"