diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-09-26 07:03:25 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-09-26 07:03:25 -0600 |
| commit | 11e6b640b899a20645985ea1141eed2df1f07887 (patch) | |
| tree | ddbfd166d29ebf42486384922991263c12cbce9b | |
| parent | d70d307cc392228778a46676c56aeae1c1d3fb58 (diff) | |
| download | nuttx-11e6b640b899a20645985ea1141eed2df1f07887.tar.gz nuttx-11e6b640b899a20645985ea1141eed2df1f07887.tar.bz2 nuttx-11e6b640b899a20645985ea1141eed2df1f07887.zip | |
Refresh configuration
| -rw-r--r-- | nuttx/configs/sim/ostest/defconfig | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/nuttx/configs/sim/ostest/defconfig b/nuttx/configs/sim/ostest/defconfig index a84e237d4..fd7837473 100644 --- a/nuttx/configs/sim/ostest/defconfig +++ b/nuttx/configs/sim/ostest/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 # @@ -93,6 +94,7 @@ CONFIG_SIM_M32=y CONFIG_HOST_X86_64=y # CONFIG_HOST_X86 is not set # CONFIG_SIM_WALLTIME is not set +# CONFIG_SIM_SPIFLASH is not set # # Architecture Options @@ -102,10 +104,12 @@ 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_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 @@ -187,6 +191,9 @@ CONFIG_PREALLOC_TIMERS=8 # # Tasks and Scheduling # +# CONFIG_INIT_NONE is not set +CONFIG_INIT_ENTRYPOINT=y +# CONFIG_INIT_FILEPATH is not set CONFIG_USER_ENTRYPOINT="ostest_main" CONFIG_RR_INTERVAL=0 CONFIG_TASK_NAME_SIZE=32 @@ -250,6 +257,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 |