using "./efm32gg942.repl"

uart0: UART.EFM32_UART @ sysbus <0x4000e000, +0x400>
    ReceiveIRQ -> nvic@20
    TransmitIRQ -> nvic@21
uart1: UART.EFM32_UART @ sysbus <0x4000e400, +0x400>
    ReceiveIRQ -> nvic@22
    TransmitIRQ -> nvic@23

deviceInformation:
    deviceNumber: 995

sysbus:
    init add:
        Tag <0x40008000,0x400083ff> "EBI"