[wokwi] version = 1 firmware = "firmware/Pico/RPI_PICO_W-20250911-v1.26.1.uf2" #firmware = "firmware/Pico2/RPI_PICO2_W-20250911-v1.26.1.uf2" rfc2217ServerPort = 4000 #gdbServerPort = 3333