ESP32 override CONFIG_INT_WDT_TIMEOUT_MS

#1
  1. My goal is: override the 800 ms default in mos.yml, so that I can run heap_caps_check_integrity_all(1) and see all of its output before the interrupt wdt asserts causing a core dump.

  2. My actions are:

build_vars:
  ESP_IDF_SDKCONFIG_OPTS: >
    ${build_vars.ESP_IDF_SDKCONFIG_OPTS}
    CONFIG_INT_WDT_TIMEOUT_MS=30000
  1. The result I see is: build/gen/sdkconfig has CONFIG_INT_WDT_TIMEOUT_MS=800
    Guru Meditation Error: Core 0 panic'ed (Interrupt wdt timeout on CPU0)

  2. My expectation & question is: I am able to override other settings in sdkconfig, is there anything special about this setting?