using "platforms/cpus/silabs/efr32/efr32mg12.repl"

led0: Miscellaneous.LED @ gpioPort 66
led1: Miscellaneous.LED @ gpioPort 67

button0: Miscellaneous.Button @ gpioPort 64
button1: Miscellaneous.Button @ gpioPort 65

deviceInformation:
    deviceNumber: 332