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

sram:
    size: 0x00008000

flash:
    size: 0x00040000

deviceInformation:
    deviceFamily: DeviceFamily.EFM32LG
    deviceNumber: 995

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