diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-08-29 17:21:24 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-08-29 17:21:24 -0600 |
commit | 2cf971ec3c7618023859a54a07c7017177f98e73 (patch) | |
tree | 7dfccc6b8585d6727e237b07980fc84fe1d80875 /nuttx/configs/sim | |
parent | bb528eb25b415e8da7fe24178cd80887c3d454d3 (diff) | |
download | nuttx-2cf971ec3c7618023859a54a07c7017177f98e73.tar.gz nuttx-2cf971ec3c7618023859a54a07c7017177f98e73.tar.bz2 nuttx-2cf971ec3c7618023859a54a07c7017177f98e73.zip |
Add a tool to make refreshing configurations easier when you wnat to do a lot of them
Diffstat (limited to 'nuttx/configs/sim')
-rw-r--r-- | nuttx/configs/sim/nsh/defconfig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/nuttx/configs/sim/nsh/defconfig b/nuttx/configs/sim/nsh/defconfig index 4583edc54..be3e6a6e4 100644 --- a/nuttx/configs/sim/nsh/defconfig +++ b/nuttx/configs/sim/nsh/defconfig @@ -17,6 +17,7 @@ CONFIG_HOST_LINUX=y # Build Configuration # # CONFIG_APPS_DIR="../apps" +CONFIG_BUILD_FLAT=y # CONFIG_BUILD_2PASS is not set # @@ -80,11 +81,13 @@ CONFIG_HOST_X86_64=y # CONFIG_ARCH_DMA is not set # CONFIG_ARCH_HAVE_IRQPRIO is not set # CONFIG_ARCH_L2CACHE is not set +# CONFIG_ARCH_HAVE_COHERENT_DCACHE is not set # CONFIG_CUSTOM_STACK is not set # CONFIG_ARCH_HAVE_ADDRENV is not set # CONFIG_ARCH_NEED_ADDRENV_MAPPING is not set # CONFIG_ARCH_HAVE_VFORK is not set # CONFIG_ARCH_HAVE_MMU is not set +# CONFIG_ARCH_HAVE_MPU is not set # CONFIG_ARCH_NAND_HWECC is not set # CONFIG_ARCH_HAVE_EXTCLK is not set # CONFIG_ARCH_STACKDUMP is not set @@ -231,6 +234,7 @@ CONFIG_IDLETHREAD_STACKSIZE=4096 CONFIG_USERMAIN_STACKSIZE=4096 CONFIG_PTHREAD_STACK_MIN=256 CONFIG_PTHREAD_STACK_DEFAULT=8192 +# CONFIG_LIB_SYSCALL is not set # # Device Drivers |