IDF v5.3.1: esp32c6 core dump => GDB not found error

[cpehonk]

Hi all,

I'm using IDF v5.3.1 within VS Code. I use esp32 WROOM and esp32c6 modules. I configured to save core dumps to flash memory. Reading the flash memory works fine with both module types. But I cant decode the core dump written by the esp32c6 module. Calling espcoredump (or idf.py info-coredump respectively) gives an "GDB not found" error. The same procedure works for the esp32 WROOM core dump.
The intensa tools does contain several different GDB executables (e.g. esp32s3...) but no one for the esp32c6.
What am I missing?

Greetings
Christoph