Question: is it Arduino that fixes many of the config options, or is it that PlatformIO does not expose them for editing? changing IDEs is easy, but I am uncomfortable switching off of Arduino platform at this stage of development. Can esp-idf be used seamlessly with arduino? that is, can I install ...

Thanks. but what is menuconfig? that is not obviously available in PlatformIO. Sorry for being daft, but I inherited this project from someone and did not set it up from scratch.
Also, this project started as an Arduino project, so it is not a pure ESP-IDF project, if that matters.

Hello,
I am trying to troubleshoot some problems in an ESP32 project. I am using PlatformIO. How do I configure my project to save core dumps to flash and then how do read out those core dumps? Any assistance/pointers is greatly appreciated.

thanks,
mark