diff --git a/configs/esp32-core/README.txt b/configs/esp32-core/README.txt
index 59636eb113..193a51a7dd 100644
--- a/configs/esp32-core/README.txt
+++ b/configs/esp32-core/README.txt
@@ -169,7 +169,7 @@ Memory Map
 Serial Console
 ==============
 
-  USART0 is, by default, the serial console.  It connects to the on-board
+  UART0 is, by default, the serial console.  It connects to the on-board
   CP2102 converter and is available on the USB connector USB CON8 (J1).
 
 Buttons and LEDs
@@ -532,14 +532,24 @@ NOTES:
   1. These configurations use the mconf-based configuration tool.  To
      change any of these configurations using that tool, you should:
 
-    a. Build and install the kconfig-mconf tool.  See nuttx/README.txt
-       see additional README.txt files in the NuttX tools repository.
+     a. Build and install the kconfig-mconf tool.  See nuttx/README.txt
+        see additional README.txt files in the NuttX tools repository.
 
-    b. Execute 'make menuconfig' in nuttx/ in order to start the
-       reconfiguration process.
+     b. Execute 'make menuconfig' in nuttx/ in order to start the
+        reconfiguration process.
 
   2. Unless stated otherwise, all configurations generate console
-     output on [To be provided].
+     output on UART0 (see the "Serial Console" section above).
+
+  3. By default, these configurations assume a 40MHz crystal on-
+     board:
+
+     CONFIG_ESP32CORE_XTAL_40MZ=y
+     # CONFIG_ESP32CORE_XTAL_26MHz is not set
+
+  4. Default configurations are set to run from FLASH.  You will need
+     to set CONFIG_ESP32CORE_RUN_IRAM=y for now (see the " Executing
+     and Debugging from FLASH and IRAM" section above).
 
   Configuration sub-directories
   -----------------------------
diff --git a/configs/esp32-core/nsh/defconfig b/configs/esp32-core/nsh/defconfig
index 2d68310f33..18cdefc0be 100644
--- a/configs/esp32-core/nsh/defconfig
+++ b/configs/esp32-core/nsh/defconfig
@@ -172,7 +172,8 @@ CONFIG_ARCH_BOARD="esp32-core"
 # Board-Specific Options
 #
 CONFIG_ESP32CORE_XTAL_40MZ=y
-# CONFIG_ESP32CORE_XTAL26MHz is not set
+# CONFIG_ESP32CORE_XTAL_26MHz is not set
+# CONFIG_ESP32CORE_RUN_IRAM is not set
 # CONFIG_BOARD_CRASHDUMP is not set
 # CONFIG_LIB_BOARDCTL is not set
 
@@ -599,10 +600,10 @@ CONFIG_BUILTIN_PROXY_STACKSIZE=1024
 CONFIG_EXAMPLES_NSH=y
 CONFIG_EXAMPLES_NSH_CXXINITIALIZE=y
 # CONFIG_EXAMPLES_NULL is not set
+# CONFIG_EXAMPLES_NX is not set
 # CONFIG_EXAMPLES_NXFFS is not set
 # CONFIG_EXAMPLES_NXHELLO is not set
 # CONFIG_EXAMPLES_NXIMAGE is not set
-# CONFIG_EXAMPLES_NX is not set
 # CONFIG_EXAMPLES_NXLINES is not set
 # CONFIG_EXAMPLES_NXTERM is not set
 # CONFIG_EXAMPLES_NXTEXT is not set
diff --git a/configs/esp32-core/smp/defconfig b/configs/esp32-core/smp/defconfig
index 403a5e3c8d..d9641480ce 100644
--- a/configs/esp32-core/smp/defconfig
+++ b/configs/esp32-core/smp/defconfig
@@ -62,6 +62,7 @@ CONFIG_DEBUG_FULLOPT=y
 # CONFIG_ARCH_AVR is not set
 # CONFIG_ARCH_HC is not set
 # CONFIG_ARCH_MIPS is not set
+# CONFIG_ARCH_MISOC is not set
 # CONFIG_ARCH_RGMP is not set
 # CONFIG_ARCH_RENESAS is not set
 # CONFIG_ARCH_RISCV is not set
@@ -170,6 +171,9 @@ CONFIG_ARCH_BOARD="esp32-core"
 #
 # Board-Specific Options
 #
+CONFIG_ESP32CORE_XTAL_40MZ=y
+# CONFIG_ESP32CORE_XTAL_26MHz is not set
+# CONFIG_ESP32CORE_RUN_IRAM is not set
 # CONFIG_BOARD_CRASHDUMP is not set
 # CONFIG_LIB_BOARDCTL is not set
 
@@ -302,14 +306,14 @@ CONFIG_DEV_NULL=y
 # CONFIG_ARCH_HAVE_I2CRESET is not set
 # CONFIG_I2C is not set
 CONFIG_SPI=y
+# CONFIG_ARCH_HAVE_SPI_CRCGENERATION is not set
+# CONFIG_ARCH_HAVE_SPI_CS_CONTROL is not set
+# CONFIG_ARCH_HAVE_SPI_BITORDER is not set
 # CONFIG_SPI_SLAVE is not set
 CONFIG_SPI_EXCHANGE=y
 # CONFIG_SPI_CMDDATA is not set
 # CONFIG_SPI_CALLBACK is not set
 # CONFIG_SPI_HWFEATURES is not set
-# CONFIG_ARCH_HAVE_SPI_CRCGENERATION is not set
-# CONFIG_ARCH_HAVE_SPI_CS_CONTROL is not set
-# CONFIG_ARCH_HAVE_SPI_BITORDER is not set
 # CONFIG_SPI_CS_DELAY_CONTROL is not set
 # CONFIG_SPI_DRIVER is not set
 # CONFIG_SPI_BITBANG is not set
@@ -599,10 +603,10 @@ CONFIG_BUILTIN_PROXY_STACKSIZE=1024
 CONFIG_EXAMPLES_NSH=y
 CONFIG_EXAMPLES_NSH_CXXINITIALIZE=y
 # CONFIG_EXAMPLES_NULL is not set
+# CONFIG_EXAMPLES_NX is not set
 # CONFIG_EXAMPLES_NXFFS is not set
 # CONFIG_EXAMPLES_NXHELLO is not set
 # CONFIG_EXAMPLES_NXIMAGE is not set
-# CONFIG_EXAMPLES_NX is not set
 # CONFIG_EXAMPLES_NXLINES is not set
 # CONFIG_EXAMPLES_NXTERM is not set
 # CONFIG_EXAMPLES_NXTEXT is not set