diff --git a/nuttx/configs/sim/README.txt b/nuttx/configs/sim/README.txt
index 5583b23122..bc8173fcf5 100644
--- a/nuttx/configs/sim/README.txt
+++ b/nuttx/configs/sim/README.txt
@@ -192,7 +192,7 @@ cxxtest
 
   Description
   -----------
-  The C++ statndard libary test at apps/examples/cxxtest configuration.  This
+  The C++ standard libary test at apps/examples/cxxtest configuration.  This
   test is used to verify the uClibc++ port to NuttX.  This configuration may
   be selected as follows:
 
@@ -201,7 +201,12 @@ cxxtest
 
   NOTES
   -----
-  1. This configuration uses the mconf-based configuration tool.  To
+  1. Before you can use this example, you must first install the uClibc++
+     C++ library.  This is located outside of the NuttX source tree at
+     misc/uClibc++ in SVN.  See the README.txt file for instructions on
+     how to install uClibc++
+
+  2. This configuration uses the mconf-based configuration tool.  To
      change this configuration using that tool, you should:
 
      a. Build and install the mconf tool.  See nuttx/README.txt and
diff --git a/nuttx/configs/stm32f4discovery/elf/defconfig b/nuttx/configs/stm32f4discovery/elf/defconfig
index 67f5bf365a..e4702507c3 100644
--- a/nuttx/configs/stm32f4discovery/elf/defconfig
+++ b/nuttx/configs/stm32f4discovery/elf/defconfig
@@ -197,7 +197,7 @@ CONFIG_ARCH_STACKDUMP=y
 # Board Settings
 #
 CONFIG_DRAM_START=0x20000000
-CONFIG_DRAM_SIZE=196608
+CONFIG_DRAM_SIZE=114688
 CONFIG_ARCH_HAVE_INTERRUPTSTACK=y
 CONFIG_ARCH_INTERRUPTSTACK=0
 
diff --git a/nuttx/configs/stm32f4discovery/nsh/defconfig b/nuttx/configs/stm32f4discovery/nsh/defconfig
index 4461c08ce2..df802fee39 100644
--- a/nuttx/configs/stm32f4discovery/nsh/defconfig
+++ b/nuttx/configs/stm32f4discovery/nsh/defconfig
@@ -43,7 +43,7 @@ CONFIG_ARCH_CHIP_STM32F407VG=y
 CONFIG_ARCH_BOARD="stm32f4discovery"
 CONFIG_ARCH_BOARD_STM32F4_DISCOVERY=y
 CONFIG_BOARD_LOOPSPERMSEC=16717
-CONFIG_DRAM_SIZE=196608
+CONFIG_DRAM_SIZE=114688
 CONFIG_DRAM_START=0x20000000
 CONFIG_ARCH_IRQPRIO=y
 CONFIG_ARCH_FPU=n
diff --git a/nuttx/configs/stm32f4discovery/nxlines/defconfig b/nuttx/configs/stm32f4discovery/nxlines/defconfig
index 737b015b1f..34f6f636d9 100644
--- a/nuttx/configs/stm32f4discovery/nxlines/defconfig
+++ b/nuttx/configs/stm32f4discovery/nxlines/defconfig
@@ -43,7 +43,7 @@ CONFIG_ARCH_CHIP_STM32F407VG=y
 CONFIG_ARCH_BOARD="stm32f4discovery"
 CONFIG_ARCH_BOARD_STM32F4_DISCOVERY=y
 CONFIG_BOARD_LOOPSPERMSEC=16717
-CONFIG_DRAM_SIZE=196608
+CONFIG_DRAM_SIZE=114688
 CONFIG_DRAM_START=0x20000000
 CONFIG_ARCH_IRQPRIO=y
 CONFIG_ARCH_FPU=n
diff --git a/nuttx/configs/stm32f4discovery/ostest/defconfig b/nuttx/configs/stm32f4discovery/ostest/defconfig
index ccd9c648aa..29d6b30eba 100644
--- a/nuttx/configs/stm32f4discovery/ostest/defconfig
+++ b/nuttx/configs/stm32f4discovery/ostest/defconfig
@@ -196,7 +196,7 @@ CONFIG_ARCH_STACKDUMP=y
 # Board Settings
 #
 CONFIG_DRAM_START=0x20000000
-CONFIG_DRAM_SIZE=196608
+CONFIG_DRAM_SIZE=114688
 CONFIG_ARCH_HAVE_INTERRUPTSTACK=y
 CONFIG_ARCH_INTERRUPTSTACK=0
 
diff --git a/nuttx/configs/stm32f4discovery/pm/defconfig b/nuttx/configs/stm32f4discovery/pm/defconfig
index 6785ec46ed..0a463d9bd6 100644
--- a/nuttx/configs/stm32f4discovery/pm/defconfig
+++ b/nuttx/configs/stm32f4discovery/pm/defconfig
@@ -43,7 +43,7 @@ CONFIG_ARCH_CHIP_STM32F407VG=y
 CONFIG_ARCH_BOARD="stm32f4discovery"
 CONFIG_ARCH_BOARD_STM32F4_DISCOVERY=y
 CONFIG_BOARD_LOOPSPERMSEC=16717
-CONFIG_DRAM_SIZE=196608
+CONFIG_DRAM_SIZE=114688
 CONFIG_DRAM_START=0x20000000
 CONFIG_ARCH_IRQPRIO=y
 CONFIG_ARCH_FPU=n