1# ESP32C6 has built-in JTAG interface over USB port in pins GPIO13/GPIO12 (D-/D+).
2set ESP_RTOS none
3
4source [find board/esp32c6-builtin.cfg]
5