1using "./efm32g210.repl"
2
3timer2: Timers.Efm32Timer @ sysbus <0x40010800, +0x400>
4    -> nvic@11
5
6deviceInformation:
7    deviceNumber: 222
8
9sysbus:
10    init add:
11        Tag <0x40086400,0x400867ff> "PCNT1"