1i2c0: I2C.EFM32GGI2CController @ sysbus <0x4000c000, +0x400>
2    -> nvic@17
3i2c1: I2C.EFM32GGI2CController @ sysbus <0x4000c400, +0x400>
4    -> nvic@42
5
6timer0: Timers.Efm32Timer @ sysbus <0x40018000, +0x400>
7    -> nvic@11
8timer1: Timers.Efm32Timer @ sysbus <0x40018400, +0x400>
9    -> nvic@19
10
11usart0: UART.EFM32_UART @ sysbus <0x40010000, +0x400>
12    ReceiveIRQ -> nvic@12
13    TransmitIRQ -> nvic@13
14usart1: UART.EFM32_UART @ sysbus <0x40010400, +0x400>
15    ReceiveIRQ -> nvic@20
16    TransmitIRQ -> nvic@21
17usart2: UART.EFM32_UART @ sysbus <0x40010800, +0x400>
18    ReceiveIRQ -> nvic@40
19    TransmitIRQ -> nvic@41
20usart3: UART.EFM32_UART @ sysbus <0x40010c00, +0x400>
21    ReceiveIRQ -> nvic@43
22    TransmitIRQ -> nvic@44
23
24leUart0: UART.LEUART @ sysbus <0x4004a000, +0x400>
25    -> nvic@22
26
27gpioPort: GPIOPort.EFMGPIOPort @ sysbus 0x4000a000
28
29bitband: Miscellaneous.BitBanding @ sysbus <0x42000000, +0x2000000>
30    peripheralBase: 0x40000000
31
32sram: Memory.MappedMemory @ sysbus 0x20000000
33    size: 0x00040000
34
35flash: Memory.MappedMemory @ sysbus 0x00000000
36    size: 0x00100000
37
38nvic: IRQControllers.NVIC @ sysbus 0xE000E000
39    IRQ -> cpu@0
40
41cpu: CPU.CortexM @ sysbus
42    nvic: nvic
43    cpuType: "cortex-m3"
44
45deviceInformation: Miscellaneous.SiLabs.EFM32xG1xBDeviceInformation @ sysbus 0x0fe081b0
46    deviceFamily: DeviceFamily.EFM32JG12B
47    deviceNumber: 1
48    flashDevice: flash
49    sramDevice: sram
50
51gpcrc: Miscellaneous.SiLabs.EFR32_GPCRC @ sysbus 0x4001c000
52
53sysbus:
54    init:
55        Tag <0x400e0000,0x400e07ff> "MSC"
56        Tag <0x400e3000,0x400e33ff> "EMU"
57        Tag <0x400e5000,0x400e53ff> "RMU"
58        Tag <0x400e4000,0x400e43ff> "CMU"
59        Tag <0x400f0000,0x400f03ff> "CRYPTO0"
60        Tag <0x400f0400,0x400f07ff> "CRYPTO1"
61        Tag <0x400e6000,0x400e63ff> "PRS"
62        Tag <0x400e2000,0x400e2fff> "LDMA"
63        Tag <0x4001a000,0x4001a3ff> "WTIMER0"
64        Tag <0x4001a400,0x4001a7ff> "WTIMER1"
65        Tag <0x40046000,0x400463ff> "LETIMER0"
66        Tag <0x4001e000,0x4001e3ff> "CRYOTIMER"
67        Tag <0x4004e000,0x4004e3ff> "PCNT0"
68        Tag <0x4004e400,0x4004e7ff> "PCNT1"
69        Tag <0x4004e800,0x4004ebff> "PCNT2"
70        Tag <0x40002000,0x400023ff> "ADC0"
71        Tag <0x40000000,0x400003ff> "ACMP0"
72        Tag <0x40000400,0x400007ff> "ACMP1"
73        Tag <0x40006000,0x400063ff> "IDAC0"
74        Tag <0x40008000,0x400083ff> "VDAC0"
75        Tag <0x4001f000,0x4001f3ff> "CSEN"
76        Tag <0x40055000,0x400553ff> "LESENSE"
77        Tag <0x40042000,0x400423ff> "RTCC"
78        Tag <0x40052000,0x400523ff> "WDOG0"
79        Tag <0x40052400,0x400527ff> "WDOG1"
80        Tag <0xe0041000,0xe0080fff> "ETM"
81        Tag <0x40022000,0x400223ff> "SMU"
82        Tag <0x4001d000,0x4001d3ff> "TRNG0"
83
84cmuStatusOscillator: Python.PythonPeripheral @ sysbus 0x400C802C
85    size: 0x4
86    initable: false
87    script: "request.value = 0xFFFFFFFF"
88
89vcmpStatus: Python.PythonPeripheral @ sysbus 0x40000008
90    size: 0x4
91    initable: false
92    script: "request.value = 0xFFFFFFFF"
93