[wokwi]
version = 1
firmware = ".pio/build/rpipicow/firmware.uf2"

rfc2217ServerPort = 4000
gdbServerPort = 3333