1using "./efr32mg1.repl"
2
3rtcc: Timers.EFR32_RTCC @ sysbus 0x40042000
4    frequency: 32768
5    -> nvic@30
6
7i2c0:
8    -> nvic@17
9i2c1: I2C.EFR32_I2CController @ sysbus <0x4000c400, +0x400>
10    -> nvic@42
11
12usart0:
13    ReceiveIRQ -> nvic@12
14    TransmitIRQ -> nvic@13
15usart1:
16    ReceiveIRQ -> nvic@20
17    TransmitIRQ -> nvic@21
18usart2: UART.EFR32_USART @ sysbus <0x40010800, +0x400>
19    ReceiveIRQ -> nvic@40
20    TransmitIRQ -> nvic@41
21usart3: UART.EFR32_USART @ sysbus <0x40010c00, +0x400>
22    ReceiveIRQ -> nvic@43
23    TransmitIRQ -> nvic@44
24
25leUart0:
26    -> nvic@22
27
28gpioPort:
29    EvenIRQ -> nvic@10
30    OddIRQ -> nvic@18
31
32seq_sram: Memory.MappedMemory @ sysbus 0x21000000
33    size: 0x00002000
34
35sram:
36    size: 0x00040000
37
38flash:
39    size: 0x00100000
40
41flashCtrl: MTD.EFR32xg13FlashController @ sysbus 0x400E0000
42    flash: flash
43
44timer0:
45    -> nvic@11
46
47timer1:
48    -> nvic@19
49
50wtimer0: Timers.EFR32_Timer @ sysbus 0x4001a000
51    frequency: 0x1000000 //bogus
52    width: TimerWidth.Bit32
53    -> nvic@36
54
55wtimer1: Timers.EFR32_Timer @ sysbus 0x4001a400
56    frequency: 0x1000000 //bogus
57    width: TimerWidth.Bit32
58    -> nvic@37
59
60deviceInformation: Miscellaneous.SiLabs.EFR32xG12DeviceInformation @ sysbus 0x0FE081B0
61    deviceFamily: DeviceFamily.EFR32MG12P
62    deviceNumber: 0x1
63    flashDevice: flash
64    sramDevice: sram
65
66emu_pwrcfg: Python.PythonPeripheral @ sysbus 0x400E3038
67    size: 0x8
68    initable: true
69    filename: "scripts/pydev/repeater.py"
70
71emu_if: Python.PythonPeripheral @ sysbus 0x400E3024
72    size: 0x4
73    initable: true
74    script: "request.value = 0xffffffff"
75
76bitclear: @ sysbus <0x44000000, +0x1000000>
77
78bitset: @ sysbus <0x46000000, +0x1000000>
79
80nvic:
81    priorityMask: 0xe0
82
83sysbus:
84    init add:
85        Tag <0x400f0000,0x400f03ff> "CRYPTO0"
86        Tag <0x4004e400,0x4004e7ff> "PCNT1"
87        Tag <0x4004e800,0x4004ebff> "PCNT2"
88        Tag <0x40008000,0x400083ff> "VDAC0"
89        Tag <0x4001f000,0x4001f3ff> "CSEN"
90        Tag <0x40055000,0x400553ff> "LESENSE"
91        Tag <0x40052400,0x400527ff> "WDOG1"
92        Tag <0x40022000,0x400223ff> "SMU"
93        Tag <0x4001d000,0x4001d3ff> "TRNG0"
94        Tag <0x4001d004 0x4> "FIFOLEVEL" 0x40
95        Tag <0xe00ff000, 0xe00fffff> "CM4_ROM_Table"
96        Tag <0xe0041000, 0xe0041fff> "ETM"
97        Tag <0xe0040000, 0xe0040fff> "TPIU"
98        Tag <0xe000e000, 0xe000efff> "System_Control_Space"
99        Tag <0xe0002000, 0xe0002fff> "FPB"
100        Tag <0xe0001000, 0xe0001fff> "DWT"
101        Tag <0xe0000000, 0xe0000fff> "ITM"
102        Tag <0x400e4000, 0x400e43ff> "CMU"
103        Tag <0x400e2000, 0x400e23ff> "LDMA"
104        Tag <0x40052000, 0x400523ff> "WDOG0"
105        Tag <0x4004a000, 0x4004a3ff> "LEUART0"
106        Tag <0x40042000, 0x400423ff> "RTCC"
107        Tag <0x4001c000, 0x4001c3ff> "GPCRC"
108        Tag <0x4001a400, 0x4001a7ff> "WTIMER1"
109        Tag <0x4001a000, 0x4001a3ff> "WTIMER0"
110        Tag <0x40018400, 0x400187ff> "TIMER1"
111        Tag <0x40018000, 0x400183ff> "TIMER0"
112        Tag <0x40010c00, 0x40010fff> "USART3"
113        Tag <0x40010800, 0x40010bff> "USART2"
114        Tag <0x40010400, 0x400107ff> "USART1"
115        Tag <0x40010000, 0x400103ff> "USART0"
116        Tag <0x4000c400, 0x4000c7ff> "I2C1"
117        Tag <0x4000c000, 0x4000c3ff> "I2C0"
118        Tag <0x4000a000, 0x4000afff> "GPIO"
119        Tag <0x40006000, 0x400063ff> "IDAC0"
120        Tag <0x40002000, 0x400023ff> "ADC0"
121        Tag <0x40002038 0x4> "IF" 0x1 #single conversion finished
122        Tag <0x40000400, 0x400007ff> "ACMP1"
123        Tag <0x40000000, 0x400003ff> "ACMP0"
124        Tag <0x0fe08000, 0x0fe083ff> "Chip_config"
125        Tag <0x0fe04000, 0x0fe047ff> "Lock_bits"
126        Tag <0x0fe00000, 0x0fe007ff> "User_Data"
127