diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-08-30 07:51:13 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-08-30 07:51:13 -0600 |
| commit | cc979cd1168fdfe0a3ba5219283a7619a32a27dc (patch) | |
| tree | 52bd0a47342fa60319992bd9a2ececdcd936b062 /nuttx/configs/sama5d4-ek/nsh | |
| parent | 5b7e420140fbfd605a4b58b7bbe70554cca1df40 (diff) | |
| download | px4-nuttx-cc979cd1168fdfe0a3ba5219283a7619a32a27dc.tar.gz px4-nuttx-cc979cd1168fdfe0a3ba5219283a7619a32a27dc.tar.bz2 px4-nuttx-cc979cd1168fdfe0a3ba5219283a7619a32a27dc.zip | |
Refresh all configurations that have MMUs
Diffstat (limited to 'nuttx/configs/sama5d4-ek/nsh')
| -rw-r--r-- | nuttx/configs/sama5d4-ek/nsh/defconfig | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/nuttx/configs/sama5d4-ek/nsh/defconfig b/nuttx/configs/sama5d4-ek/nsh/defconfig index 3534fc843..6d3e7caf9 100644 --- a/nuttx/configs/sama5d4-ek/nsh/defconfig +++ b/nuttx/configs/sama5d4-ek/nsh/defconfig @@ -21,6 +21,7 @@ CONFIG_WINDOWS_CYGWIN=y # Build Configuration # # CONFIG_APPS_DIR="../apps" +CONFIG_BUILD_FLAT=y # CONFIG_BUILD_2PASS is not set # @@ -104,7 +105,6 @@ CONFIG_ARCH_FAMILY="armv7-a" CONFIG_ARCH_CHIP="sama5" CONFIG_ARCH_HAVE_FPU=y CONFIG_ARCH_FPU=y -# CONFIG_ARCH_HAVE_MPU is not set CONFIG_ARCH_HAVE_LOWVECTORS=y CONFIG_ARCH_LOWVECTORS=y # CONFIG_ARCH_ROMPGTABLE is not set @@ -347,12 +347,17 @@ CONFIG_SAMA5_DDRCS_HEAP_END=0x2fa00000 CONFIG_ARCH_DMA=y CONFIG_ARCH_HAVE_IRQPRIO=y # CONFIG_ARCH_L2CACHE is not set +# CONFIG_ARCH_HAVE_COHERENT_DCACHE is not set # CONFIG_CUSTOM_STACK is not set -# CONFIG_ARCH_ADDRENV is not set +CONFIG_ARCH_HAVE_ADDRENV=y +CONFIG_ARCH_NEED_ADDRENV_MAPPING=y CONFIG_ARCH_HAVE_VFORK=y CONFIG_ARCH_HAVE_MMU=y +# CONFIG_ARCH_HAVE_MPU is not set CONFIG_ARCH_NAND_HWECC=y # CONFIG_ARCH_HAVE_EXTCLK is not set +CONFIG_ARCH_USE_MMU=y +# CONFIG_ARCH_ADDRENV is not set # CONFIG_PAGING is not set # CONFIG_ARCH_IRQPRIO is not set CONFIG_ARCH_STACKDUMP=y @@ -449,6 +454,7 @@ CONFIG_USEC_PER_TICK=10000 # CONFIG_JULIAN_TIME is not set CONFIG_MAX_WDOGPARMS=2 CONFIG_PREALLOC_WDOGS=32 +CONFIG_WDOG_INTRESERVE=4 CONFIG_PREALLOC_TIMERS=4 # @@ -516,6 +522,7 @@ CONFIG_IDLETHREAD_STACKSIZE=1024 CONFIG_USERMAIN_STACKSIZE=2048 CONFIG_PTHREAD_STACK_MIN=256 CONFIG_PTHREAD_STACK_DEFAULT=2048 +# CONFIG_LIB_SYSCALL is not set # # Device Drivers @@ -789,6 +796,7 @@ CONFIG_NET_ARP=y CONFIG_NET_ARPTAB_SIZE=16 CONFIG_NET_ARP_MAXAGE=120 CONFIG_NET_ARP_IPIN=y +# CONFIG_NET_ARP_SEND is not set # # Network I/O Buffer Support @@ -926,6 +934,7 @@ CONFIG_NXFONT_SERIF22X28B=y CONFIG_MM_REGIONS=1 # CONFIG_ARCH_HAVE_HEAP2 is not set # CONFIG_GRAN is not set +# CONFIG_MM_PGALLOC is not set # # Audio Support |