Changing sdkconfig.h


In order to change build options for arduino-esp32, I’d need to modify sdkconfig.h under ~/.platformio/packages/framework-arduinoespressif32/tools/sdk but this seem to have no effect.

If I understand this feature request at the moment my only option is to switch to espidf framework, clone arduino-esp32 in my project and then build the whole thing, is this correct? Something along these lines in other words.

My end goal is getting openocd to work and debugging a panic that results in a reboot, in case it matters.