1using "./efm32g842.repl"
2
3uart0: UART.EFM32_UART @ sysbus <0x4000e000, +0x400>
4    ReceiveIRQ -> nvic@16
5    TransmitIRQ -> nvic@17
6
7deviceInformation:
8    deviceNumber: 890
9
10sysbus:
11    init:
12        Tag <0x40008000,0x400083ff> "EBI"