diff --git a/configs/olimex-stm32-p407/README.txt b/configs/olimex-stm32-p407/README.txt
index 81ae0c62e4..fe8bcc3c61 100644
--- a/configs/olimex-stm32-p407/README.txt
+++ b/configs/olimex-stm32-p407/README.txt
@@ -367,8 +367,8 @@ must be is one of the following.
   module:
 
     A simple stripped down NSH configuration that was used for testing NuttX
-    OS modules.  Key difference from the nsh configuration include these
-    additions to the configuration file:
+    OS modules using the test at apps/examples/module.  Key difference from
+    the nsh configuration include these additions to the configuration file:
 
       CONFIG_BOARDCTL_OS_SYMTAB=y
       CONFIG_EXAMPLES_MODULE=y
@@ -385,8 +385,8 @@ must be is one of the following.
       CONFIG_MODLIB_BUFFERINCR=32
 
      The could be followed may be added for testing shared libraries in the
-     FLAT build (assuming that you also have SD card support enabled and that
-     the SD card is mount at /mnt/sdcard):
+     FLAT build using apps/examples/sotest (assuming that you also have SD
+     card support enabled and that the SD card is mount at /mnt/sdcard):
 
       CONFIG_LIBC_DLLFCN=y
       CONFIG_EXAMPLES_SOTEST=y
diff --git a/configs/stm32f4discovery/README.txt b/configs/stm32f4discovery/README.txt
index 40f30e1316..4e9f0b9134 100644
--- a/configs/stm32f4discovery/README.txt
+++ b/configs/stm32f4discovery/README.txt
@@ -1644,6 +1644,44 @@ Configuration Sub-directories
        you do this a lot, you will probably want to invest a little time
        to develop a tool to automate these steps.
 
+  module:
+  ------
+
+    A simple stripped down NSH configuration that was used for testing NuttX
+    OS modules using the test at apps/examples/module.  Key difference from
+    other NSH configurations include these additions to the configuration file:
+
+      CONFIG_BOARDCTL_OS_SYMTAB=y
+      CONFIG_EXAMPLES_MODULE=y
+      CONFIG_EXAMPLES_MODULE_BUILTINFS=y
+      CONFIG_EXAMPLES_MODULE_DEVMINOR=0
+      CONFIG_EXAMPLES_MODULE_DEVPATH="/dev/ram0"
+      CONFIG_FS_ROMFS=y
+      CONFIG_LIBC_ARCH_ELF=y
+      CONFIG_MODULE=y
+      CONFIG_LIBC_MODLIB=y
+      CONFIG_MODLIB_MAXDEPEND=2
+      CONFIG_MODLIB_ALIGN_LOG2=2
+      CONFIG_MODLIB_BUFFERSIZE=128
+      CONFIG_MODLIB_BUFFERINCR=32
+
+     The could be followed may be added for testing shared libraries in the
+     FLAT build using apps/examples/sotest (assuming that you also have SD
+     card support enabled and that the SD card is mount at /mnt/sdcard):
+
+      CONFIG_LIBC_DLLFCN=y
+      CONFIG_EXAMPLES_SOTEST=y
+      CONFIG_EXAMPLES_SOTEST_BINDIR="/mnt/sdcard"
+
+    NOTE: You must always have:
+
+      CONFIG_STM32_CCMEXCLUDE=y
+
+    because code cannot be executed from CCM memory.
+
+    STATUS:
+    2018-06-02: Configuration added by Alan Carvalho de Assis.
+
   netnsh:
   ------
     This is a special version of the NuttShell (nsh) configuration that is
diff --git a/configs/stm32f4discovery/module/defconfig b/configs/stm32f4discovery/module/defconfig
new file mode 100644
index 0000000000..866c74a8df
--- /dev/null
+++ b/configs/stm32f4discovery/module/defconfig
@@ -0,0 +1,55 @@
+# CONFIG_ARCH_FPU is not set
+# CONFIG_NSH_ARGCAT is not set
+# CONFIG_NSH_CMDOPT_HEXDUMP is not set
+# CONFIG_NSH_CMDPARMS is not set
+CONFIG_ARCH="arm"
+CONFIG_ARCH_BOARD="stm32f4discovery"
+CONFIG_ARCH_BOARD_STM32F4_DISCOVERY=y
+CONFIG_ARCH_BUTTONS=y
+CONFIG_ARCH_CHIP_STM32=y
+CONFIG_ARCH_CHIP_STM32F407VG=y
+CONFIG_ARCH_STACKDUMP=y
+CONFIG_BOARD_LOOPSPERMSEC=16717
+CONFIG_BUILTIN=y
+CONFIG_DISABLE_POLL=y
+CONFIG_EXAMPLES_MODULE=y
+CONFIG_EXAMPLES_NSH=y
+CONFIG_EXAMPLES_NSH_CXXINITIALIZE=y
+CONFIG_FS_PROCFS=y
+CONFIG_FS_ROMFS=y
+CONFIG_HAVE_CXX=y
+CONFIG_HAVE_CXXINITIALIZE=y
+CONFIG_INTELHEX_BINARY=y
+CONFIG_MAX_TASKS=16
+CONFIG_MAX_WDOGPARMS=2
+CONFIG_MM_REGIONS=2
+CONFIG_MODULE=y
+CONFIG_NFILE_DESCRIPTORS=8
+CONFIG_NFILE_STREAMS=8
+CONFIG_NSH_ARCHINIT=y
+CONFIG_NSH_BUILTIN_APPS=y
+CONFIG_NSH_FILEIOSIZE=512
+CONFIG_NSH_LINELEN=64
+CONFIG_NSH_READLINE=y
+CONFIG_PREALLOC_MQ_MSGS=4
+CONFIG_PREALLOC_TIMERS=4
+CONFIG_PREALLOC_WDOGS=16
+CONFIG_RAM_SIZE=114688
+CONFIG_RAM_START=0x20000000
+CONFIG_RAW_BINARY=y
+CONFIG_RR_INTERVAL=200
+CONFIG_SCHED_WAITPID=y
+CONFIG_SDCLONE_DISABLE=y
+CONFIG_START_DAY=6
+CONFIG_START_MONTH=12
+CONFIG_START_YEAR=2011
+CONFIG_STM32_CCMEXCLUDE=y
+CONFIG_STM32_JTAG_SW_ENABLE=y
+CONFIG_STM32_OTGFS=y
+CONFIG_STM32_PWR=y
+CONFIG_STM32_SPI1=y
+CONFIG_STM32_USART2=y
+CONFIG_USART2_RXBUFSIZE=128
+CONFIG_USART2_SERIAL_CONSOLE=y
+CONFIG_USART2_TXBUFSIZE=128
+CONFIG_USER_ENTRYPOINT="nsh_main"