1using "./efm32gg942.repl"
2
3uart0: UART.EFM32_UART @ sysbus <0x4000e000, +0x400>
4    ReceiveIRQ -> nvic@20
5    TransmitIRQ -> nvic@21
6uart1: UART.EFM32_UART @ sysbus <0x4000e400, +0x400>
7    ReceiveIRQ -> nvic@22
8    TransmitIRQ -> nvic@23
9
10sram:
11    size: 0x00008000
12
13flash:
14    size: 0x00040000
15
16deviceInformation:
17    deviceFamily: DeviceFamily.EFM32LG
18    deviceNumber: 995
19
20sysbus:
21    init add:
22        Tag <0x40008000,0x400083ff> "EBI"
23        Tag <0x4008a000,0x4008a3ff> "LCD"
24