| # |
| # This file is autogenerated: PLEASE DO NOT EDIT IT. |
| # |
| # You can use "make menuconfig" to make any modifications to the installed .config file. |
| # You can then do "make savedefconfig" to generate a new defconfig file that includes your |
| # modifications. |
| # |
| # CONFIG_ARCH_LEDS is not set |
| # CONFIG_NDEBUG is not set |
| CONFIG_ARCH="xtensa" |
| CONFIG_ARCH_BOARD="esp32s3-devkit" |
| CONFIG_ARCH_BOARD_COMMON=y |
| CONFIG_ARCH_BOARD_ESP32S3_DEVKIT=y |
| CONFIG_ARCH_CHIP="esp32s3" |
| CONFIG_ARCH_CHIP_ESP32S3=y |
| CONFIG_ARCH_CHIP_ESP32S3WROOM1=y |
| CONFIG_ARCH_INTERRUPTSTACK=2048 |
| CONFIG_ARCH_SETJMP_H=y |
| CONFIG_ARCH_XTENSA=y |
| CONFIG_BENCHMARK_COREMARK=y |
| CONFIG_BOARD_LOOPSPERMSEC=16717 |
| CONFIG_DEBUG_CUSTOMOPT=y |
| CONFIG_DEBUG_OPTLEVEL="-O3" |
| CONFIG_ESP32S3_UART0=y |
| CONFIG_FS_PROCFS=y |
| CONFIG_IDLETHREAD_STACKSIZE=3072 |
| CONFIG_INIT_ENTRYPOINT="coremark_main" |
| CONFIG_INIT_STACKSIZE=3072 |
| CONFIG_INTELHEX_BINARY=y |
| CONFIG_PREALLOC_TIMERS=4 |
| CONFIG_RAM_SIZE=114688 |
| CONFIG_RAM_START=0x20000000 |
| CONFIG_RR_INTERVAL=200 |
| CONFIG_SCHED_WAITPID=y |
| CONFIG_SMP=y |
| CONFIG_SMP_NCPUS=2 |
| CONFIG_START_DAY=6 |
| CONFIG_START_MONTH=12 |
| CONFIG_START_YEAR=2011 |
| CONFIG_SYSLOG_BUFFER=y |
| CONFIG_UART0_SERIAL_CONSOLE=y |
