gdbinit now also flashes the binary over JTAG

Author: igrr

README.md

@@ -102,10 +102,11 @@ To debug the examples using JTAG and GDB, follow these steps:
 2. Add openocd to `PATH`
 3. Build one of the examples (for instance, `blink`), then launch GDB like this:
    ```
-   riscv-none-elf-gdb -x ../../gdbinit build/blink
+   riscv-none-elf-gdb -x gdbinit build/blink
    ```
-   This will use the provided [gdbinit](gdbinit) file to:
+   This will use the provided gdbinit file to:
    - Launch OpenOCD in pipe mode. Adjust the `gdbinit` file if you need to change OpenOCD launch configuration. You can also launch OpenOCD manually, in that case use `target extended-remote :3333` in `gdbinit`.
+   - Flash the program over JTAG
    - Reset the target
    - Set a temporary breakpoint at `main`
    - Run until the breakpoint

examples/blink/gdbinit

@@ -0,0 +1,7 @@
+set remotetimeout 10
+target extended-remote | openocd -c "gdb_port pipe" -c "set ESP_RTOS none" -f "board/esp32c3-builtin.cfg" -c "init; reset halt"
+mon gdb_breakpoint_override hard
+mon flash write_image build/blink.bin 0 bin
+mon reset halt
+tb main
+c

examples/hello_world/gdbinit

@@ -0,0 +1,7 @@
+set remotetimeout 10
+target extended-remote | openocd -c "gdb_port pipe" -c "set ESP_RTOS none" -f "board/esp32c3-builtin.cfg" -c "init; reset halt"
+mon gdb_breakpoint_override hard
+mon flash write_image build/hello_world.bin 0 bin
+mon reset halt
+tb main
+c