diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2013-07-25 18:11:25 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2013-07-25 18:11:25 -0600 |
commit | 5170306806fc4b68047219f811e9fe00f7f030ca (patch) | |
tree | 3a0ad48602b394f90cdfd365d05ca2702f1c5f4f /nuttx/configs | |
parent | df8869d9a6096cd1e972904b76752fe51370c61d (diff) | |
download | px4-nuttx-5170306806fc4b68047219f811e9fe00f7f030ca.tar.gz px4-nuttx-5170306806fc4b68047219f811e9fe00f7f030ca.tar.bz2 px4-nuttx-5170306806fc4b68047219f811e9fe00f7f030ca.zip |
Fix some bad page table definitions of last commit
Diffstat (limited to 'nuttx/configs')
-rw-r--r-- | nuttx/configs/sama5d3x-ek/ostest/defconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/configs/sama5d3x-ek/ostest/defconfig b/nuttx/configs/sama5d3x-ek/ostest/defconfig index 2247c2733..3b8fa9df1 100644 --- a/nuttx/configs/sama5d3x-ek/ostest/defconfig +++ b/nuttx/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 |