1using "platforms/cpus/silabs/efr32/efr32mg12.repl"
2
3led0: Miscellaneous.LED @ gpioPort 66
4led1: Miscellaneous.LED @ gpioPort 67
5
6button0: Miscellaneous.Button @ gpioPort 64
7button1: Miscellaneous.Button @ gpioPort 65
8
9deviceInformation:
10    deviceNumber: 332