1CONFIG_IDF_TARGET="esp32"
2CONFIG_FREERTOS_UNICORE=y
3
4## Below here should be same as these sections in sdkconfig.ci
5
6# Generic config
7CONFIG_BOOTLOADER_SKIP_VALIDATE_IN_DEEP_SLEEP=y
8CONFIG_EXAMPLE_ULP_TEMPERATURE_WAKEUP=n
9CONFIG_EXAMPLE_EXT1_WAKEUP=n
10
11# ESP32-specific config
12CONFIG_ESP32_DEFAULT_CPU_FREQ_80=y
13CONFIG_ESP32_DEFAULT_CPU_FREQ_MHZ=80
14CONFIG_ESP32_ULP_COPROC_ENABLED=y
15CONFIG_ESP32_ULP_COPROC_RESERVE_MEM=512
16CONFIG_ESP32_TIME_SYSCALL_USE_RTC_FRC1=y
17CONFIG_ESP32_RTC_CLK_SRC_INT_RC=y
18CONFIG_BOOTLOADER_SKIP_VALIDATE_IN_DEEP_SLEEP=y
19