| # ESP32 board configuration | |
| # Copyright (c) 2017 Intel Corporation | |
| # SPDX-License-Identifier: Apache-2.0 | |
| if SOC_ESP32 | |
| config SOC | |
| default "esp32" | |
| config IRQ_OFFLOAD_INTNUM | |
| default 7 | |
| config SMP | |
| default n | |
| if SMP | |
| config SCHED_IPI_SUPPORTED | |
| default y | |
| config SCHED_CPU_MASK | |
| default y | |
| config MP_NUM_CPUS | |
| default 2 | |
| endif | |
| config MINIMAL_LIBC_OPTIMIZE_STRING_FOR_SIZE | |
| default n | |
| config LOG_DETECT_MISSED_STRDUP | |
| default n | |
| if GDBSTUB | |
| # ESP32 GDB expects 420 bytes G-packet. | |
| # So double for hexadecimal digits. | |
| config GDBSTUB_BUF_SZ | |
| default 840 if GDBSTUB | |
| endif | |
| endif |