[wokwi]
version = 1
gdbServerPort = 3333
elf = "target/riscv32imc-esp-espidf/debug/esp32-c3"
firmware = "target/riscv32imc-esp-espidf/debug/esp32-c3"