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
10deviceInformation:
11    deviceNumber: 995
12
13sysbus:
14    init add:
15        Tag <0x40008000,0x400083ff> "EBI"
16