1using "./efr32mg12.repl"
2
3rtcc:
4    -> nvic@31
5
6i2c1:
7    -> nvic@40
8
9usart0:
10    ReceiveIRQ -> nvic@12
11    TransmitIRQ -> nvic@13
12usart1:
13    ReceiveIRQ -> nvic@20
14    TransmitIRQ -> nvic@21
15usart2:
16    ReceiveIRQ -> nvic@38
17    TransmitIRQ -> nvic@39
18usart3: @ none
19
20sram:
21    size: 0x00040000
22
23flash:
24    size: 0x00100000
25
26wtimer0:
27    frequency: 0x1000000 //bogus
28    width: TimerWidth.Bit32
29    -> nvic@37
30
31wtimer1: @ none
32
33deviceInformation:
34    deviceFamily: DeviceFamily.EFR32MG13P
35