i2c0: I2C.EFM32GGI2CController @ sysbus <0x4000a000, +0x400>
    -> nvic@5

timer0: Timers.Efm32Timer @ sysbus <0x40010000, +0x400>
    -> nvic@2
timer1: Timers.Efm32Timer @ sysbus <0x40010400, +0x400>
    -> nvic@7
timer2: Timers.Efm32Timer @ sysbus <0x40010800, +0x400>
    -> nvic@20

usart0: UART.EFM32_UART @ sysbus <0x4000c000, +0x400>
    ReceiveIRQ -> nvic@17
    TransmitIRQ -> nvic@18

leUart0: UART.LEUART @ sysbus <0x40084000, +0x400>
    -> nvic@10

gpioPort: GPIOPort.EFMGPIOPort @ sysbus 0x40006000

bitband: Miscellaneous.BitBanding @ sysbus <0x42000000, +0x2000000>
    peripheralBase: 0x40000000

sram: Memory.MappedMemory @ sysbus 0x20000000
    size: 0x00002000

flash: Memory.MappedMemory @ sysbus 0x00000000
    size: 0x00010000

nvic: IRQControllers.NVIC @ sysbus 0xE000E000
    IRQ -> cpu@0

cpu: CPU.CortexM @ sysbus
    nvic: nvic
    cpuType: "cortex-m0+"

deviceInformation: Miscellaneous.SiLabs.EZR32DeviceInformation @ sysbus 0x0fe081a8
    deviceFamily: DeviceFamily.EZR32HG
    deviceNumber: 320
    flashDevice: flash
    sramDevice: sram

sysbus:
    init:
        Tag <0x400e0000,0x400e03ff> "AES"
        Tag <0x400c2000,0x400c3fff> "DMA"
        Tag <0x400c4000,0x400c4fff> "USB"
        Tag <0x400c0000,0x400c03ff> "MSC"
        Tag <0x400c6000,0x400c63ff> "EMU"
        Tag <0x400ca000,0x400ca3ff> "RMU"
        Tag <0x400c8000,0x400c83ff> "CMU"
        Tag <0x4000c400,0x4000c7ff> "USARTRF1"
        Tag <0x400cc000,0x400cc3ff> "PRS"
        Tag <0x40004000,0x400043ff> "IDAC0"
        Tag <0x40000000,0x400003ff> "VCMP"
        Tag <0x40002000,0x400023ff> "ADC0"
        Tag <0x40086000,0x400863ff> "PCNT0"
        Tag <0x40080000,0x400803ff> "RTC"
        Tag <0x40088000,0x400883ff> "WDOG"
        Tag <0xf0040000,0xf007ffff> "MTB"