From e84839c0f6c7e9d8e21da81d5eb46cd65faed0df Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Thu, 25 Jul 2013 18:11:25 -0600
Subject: [PATCH] Fix some bad page table definitions of last commit

---
 configs/sama5d3x-ek/ostest/defconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configs/sama5d3x-ek/ostest/defconfig b/configs/sama5d3x-ek/ostest/defconfig
index 2247c27339..3b8fa9df15 100644
--- a/configs/sama5d3x-ek/ostest/defconfig
+++ b/configs/sama5d3x-ek/ostest/defconfig
@@ -201,7 +201,7 @@ CONFIG_BOARD_LOOPSPERMSEC=16717
 # CONFIG_ARCH_CALIBRATION is not set
 CONFIG_DRAM_START=0x20000000
 CONFIG_DRAM_VSTART=0x20000000
-CONFIG_DRAM_SIZE=131072
+CONFIG_DRAM_SIZE=114688
 CONFIG_ARCH_HAVE_INTERRUPTSTACK=y
 CONFIG_ARCH_INTERRUPTSTACK=0