try more opts

This commit is contained in:
Lok Tep
2016-06-10 00:10:35 +02:00
parent f12f115598
commit 073c62d7f0
+38 -25
View File
@@ -24,7 +24,7 @@ CONFIG_BUILD_FLAT=y
# Binary Output Formats # Binary Output Formats
# #
# CONFIG_RRLOAD_BINARY is not set # CONFIG_RRLOAD_BINARY is not set
CONFIG_INTELHEX_BINARY=y # CONFIG_INTELHEX_BINARY is not set
# CONFIG_MOTOROLA_SREC is not set # CONFIG_MOTOROLA_SREC is not set
CONFIG_RAW_BINARY=y CONFIG_RAW_BINARY=y
# CONFIG_UBOOT_UIMAGE is not set # CONFIG_UBOOT_UIMAGE is not set
@@ -45,7 +45,7 @@ CONFIG_ARCH_STDARG_H=y
# CONFIG_DEBUG is not set # CONFIG_DEBUG is not set
CONFIG_ARCH_HAVE_HEAPCHECK=y CONFIG_ARCH_HAVE_HEAPCHECK=y
CONFIG_ARCH_HAVE_STACKCHECK=y CONFIG_ARCH_HAVE_STACKCHECK=y
# CONFIG_STACK_COLORATION is not set CONFIG_STACK_COLORATION=y
CONFIG_DEBUG_SYMBOLS=y CONFIG_DEBUG_SYMBOLS=y
CONFIG_ARCH_HAVE_CUSTOMOPT=y CONFIG_ARCH_HAVE_CUSTOMOPT=y
CONFIG_DEBUG_NOOPT=y CONFIG_DEBUG_NOOPT=y
@@ -125,7 +125,7 @@ CONFIG_ARMV7M_CMNVECTOR=y
# CONFIG_ARMV7M_LAZYFPU is not set # CONFIG_ARMV7M_LAZYFPU is not set
CONFIG_ARCH_HAVE_FPU=y CONFIG_ARCH_HAVE_FPU=y
CONFIG_ARCH_HAVE_DPFPU=y CONFIG_ARCH_HAVE_DPFPU=y
# CONFIG_ARCH_FPU is not set CONFIG_ARCH_FPU=y
# CONFIG_ARCH_HAVE_TRUSTZONE is not set # CONFIG_ARCH_HAVE_TRUSTZONE is not set
CONFIG_ARM_HAVE_MPU_UNIFIED=y CONFIG_ARM_HAVE_MPU_UNIFIED=y
# CONFIG_ARM_MPU is not set # CONFIG_ARM_MPU is not set
@@ -276,7 +276,7 @@ CONFIG_BOARD_LOOPSPERMSEC=43103
# Interrupt options # Interrupt options
# #
CONFIG_ARCH_HAVE_INTERRUPTSTACK=y CONFIG_ARCH_HAVE_INTERRUPTSTACK=y
CONFIG_ARCH_INTERRUPTSTACK=0 CONFIG_ARCH_INTERRUPTSTACK=600
CONFIG_ARCH_HAVE_HIPRI_INTERRUPT=y CONFIG_ARCH_HAVE_HIPRI_INTERRUPT=y
# CONFIG_ARCH_HIPRI_INTERRUPT is not set # CONFIG_ARCH_HIPRI_INTERRUPT is not set
@@ -352,10 +352,10 @@ CONFIG_PREALLOC_TIMERS=4
CONFIG_INIT_ENTRYPOINT=y CONFIG_INIT_ENTRYPOINT=y
# CONFIG_INIT_FILEPATH is not set # CONFIG_INIT_FILEPATH is not set
CONFIG_USER_ENTRYPOINT="nsh_main" CONFIG_USER_ENTRYPOINT="nsh_main"
CONFIG_RR_INTERVAL=200 CONFIG_RR_INTERVAL=0
# CONFIG_SCHED_SPORADIC is not set # CONFIG_SCHED_SPORADIC is not set
CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_NAME_SIZE=24
CONFIG_MAX_TASKS=16 CONFIG_MAX_TASKS=32
# CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_SCHED_HAVE_PARENT is not set
CONFIG_SCHED_WAITPID=y CONFIG_SCHED_WAITPID=y
@@ -369,7 +369,9 @@ CONFIG_NPTHREAD_KEYS=4
# Performance Monitoring # Performance Monitoring
# #
# CONFIG_SCHED_CPULOAD is not set # CONFIG_SCHED_CPULOAD is not set
# CONFIG_SCHED_INSTRUMENTATION is not set CONFIG_SCHED_INSTRUMENTATION=y
CONFIG_SCHED_INSTRUMENTATION_BUFFER=y
CONFIG_SCHED_NOTE_BUFSIZE=512
# #
# Files and I/O # Files and I/O
@@ -398,6 +400,7 @@ CONFIG_SIG_SIGUSR1=1
CONFIG_SIG_SIGUSR2=2 CONFIG_SIG_SIGUSR2=2
CONFIG_SIG_SIGALARM=3 CONFIG_SIG_SIGALARM=3
CONFIG_SIG_SIGCONDTIMEDOUT=16 CONFIG_SIG_SIGCONDTIMEDOUT=16
CONFIG_SIG_SIGWORK=4
# #
# POSIX Message Queue Options # POSIX Message Queue Options
@@ -409,23 +412,31 @@ CONFIG_MQ_MAXMSGSIZE=32
# #
# Work queue support # Work queue support
# #
# CONFIG_SCHED_WORKQUEUE is not set CONFIG_SCHED_WORKQUEUE=y
# CONFIG_SCHED_HPWORK is not set CONFIG_SCHED_HPWORK=y
# CONFIG_SCHED_LPWORK is not set CONFIG_SCHED_HPWORKPRIORITY=192
CONFIG_SCHED_HPWORKPERIOD=5000
CONFIG_SCHED_HPWORKSTACKSIZE=1800
CONFIG_SCHED_LPWORK=y
CONFIG_SCHED_LPNTHREADS=1
CONFIG_SCHED_LPWORKPRIORITY=50
CONFIG_SCHED_LPWORKPRIOMAX=176
CONFIG_SCHED_LPWORKPERIOD=50000
CONFIG_SCHED_LPWORKSTACKSIZE=1800
# #
# Stack and heap information # Stack and heap information
# #
CONFIG_IDLETHREAD_STACKSIZE=1024 CONFIG_IDLETHREAD_STACKSIZE=500
CONFIG_USERMAIN_STACKSIZE=2048 CONFIG_USERMAIN_STACKSIZE=2500
CONFIG_PTHREAD_STACK_MIN=256 CONFIG_PTHREAD_STACK_MIN=512
CONFIG_PTHREAD_STACK_DEFAULT=2048 CONFIG_PTHREAD_STACK_DEFAULT=2048
# CONFIG_LIB_SYSCALL is not set # CONFIG_LIB_SYSCALL is not set
# #
# Device Drivers # Device Drivers
# #
CONFIG_DISABLE_POLL=y #CONFIG_DISABLE_POLL is not set
CONFIG_DEV_NULL=y CONFIG_DEV_NULL=y
# CONFIG_DEV_ZERO is not set # CONFIG_DEV_ZERO is not set
# CONFIG_DEV_LOOP is not set # CONFIG_DEV_LOOP is not set
@@ -458,8 +469,8 @@ CONFIG_ADC=y
# Timer Driver Support # Timer Driver Support
# #
# CONFIG_TIMER is not set # CONFIG_TIMER is not set
# CONFIG_RTC is not set CONFIG_WATCHDOG=y
# CONFIG_WATCHDOG is not set CONFIG_WATCHDOG_DEVPATH="/dev/watchdog0"
# CONFIG_ANALOG is not set # CONFIG_ANALOG is not set
# CONFIG_AUDIO_DEVICES is not set # CONFIG_AUDIO_DEVICES is not set
# CONFIG_VIDEO_DEVICES is not set # CONFIG_VIDEO_DEVICES is not set
@@ -478,7 +489,7 @@ CONFIG_ADC=y
# CONFIG_MODEM is not set # CONFIG_MODEM is not set
# CONFIG_MTD is not set # CONFIG_MTD is not set
# CONFIG_EEPROM is not set # CONFIG_EEPROM is not set
# CONFIG_PIPES is not set CONFIG_PIPES=y
# CONFIG_PM is not set # CONFIG_PM is not set
# CONFIG_POWER is not set # CONFIG_POWER is not set
# CONFIG_SENSORS is not set # CONFIG_SENSORS is not set
@@ -602,7 +613,9 @@ CONFIG_FS_MQUEUE_MPATH="/var/mqueue"
# CONFIG_MM_SMALL is not set # CONFIG_MM_SMALL is not set
CONFIG_MM_REGIONS=2 CONFIG_MM_REGIONS=2
# CONFIG_ARCH_HAVE_HEAP2 is not set # CONFIG_ARCH_HAVE_HEAP2 is not set
# CONFIG_GRAN is not set CONFIG_GRAN=y
# CONFIG_GRAN_SINGLE is not set
CONFIG_GRAN_INTR=y
# #
# Audio Support # Audio Support
@@ -648,7 +661,7 @@ CONFIG_EOL_IS_EITHER_CRLF=y
# CONFIG_LIBC_EXECFUNCS is not set # CONFIG_LIBC_EXECFUNCS is not set
CONFIG_POSIX_SPAWN_PROXY_STACKSIZE=1024 CONFIG_POSIX_SPAWN_PROXY_STACKSIZE=1024
CONFIG_TASK_SPAWN_DEFAULT_STACKSIZE=2048 CONFIG_TASK_SPAWN_DEFAULT_STACKSIZE=2048
# CONFIG_LIBC_STRERROR is not set CONFIG_LIBC_STRERROR=y
# CONFIG_LIBC_PERROR_STDOUT is not set # CONFIG_LIBC_PERROR_STDOUT is not set
CONFIG_ARCH_LOWPUTC=y CONFIG_ARCH_LOWPUTC=y
# CONFIG_LIBC_LOCALTIME is not set # CONFIG_LIBC_LOCALTIME is not set
@@ -669,7 +682,7 @@ CONFIG_ARCH_HAVE_TLS=y
# #
# Basic CXX Support # Basic CXX Support
# #
# CONFIG_C99_BOOL8 is not set CONFIG_C99_BOOL8=y
CONFIG_HAVE_CXX=y CONFIG_HAVE_CXX=y
CONFIG_HAVE_CXXINITIALIZE=y CONFIG_HAVE_CXXINITIALIZE=y
# CONFIG_CXX_NEWLONG is not set # CONFIG_CXX_NEWLONG is not set
@@ -795,12 +808,12 @@ CONFIG_NSH_LIBRARY=y
# #
CONFIG_NSH_READLINE=y CONFIG_NSH_READLINE=y
# CONFIG_NSH_CLE is not set # CONFIG_NSH_CLE is not set
CONFIG_NSH_LINELEN=64 CONFIG_NSH_LINELEN=128
# CONFIG_NSH_DISABLE_SEMICOLON is not set # CONFIG_NSH_DISABLE_SEMICOLON is not set
CONFIG_NSH_CMDPARMS=y CONFIG_NSH_CMDPARMS=y
CONFIG_NSH_MAXARGUMENTS=6 CONFIG_NSH_MAXARGUMENTS=12
CONFIG_NSH_ARGCAT=y CONFIG_NSH_ARGCAT=y
CONFIG_NSH_NESTDEPTH=3 CONFIG_NSH_NESTDEPTH=8
# CONFIG_NSH_DISABLEBG is not set # CONFIG_NSH_DISABLEBG is not set
CONFIG_NSH_BUILTIN_APPS=y CONFIG_NSH_BUILTIN_APPS=y
@@ -813,7 +826,7 @@ CONFIG_NSH_BUILTIN_APPS=y
# CONFIG_NSH_DISABLE_CD is not set # CONFIG_NSH_DISABLE_CD is not set
# CONFIG_NSH_DISABLE_CP is not set # CONFIG_NSH_DISABLE_CP is not set
# CONFIG_NSH_DISABLE_CMP is not set # CONFIG_NSH_DISABLE_CMP is not set
CONFIG_NSH_DISABLE_DATE=y # CONFIG_NSH_DISABLE_DATE is not set
# CONFIG_NSH_DISABLE_DD is not set # CONFIG_NSH_DISABLE_DD is not set
# CONFIG_NSH_DISABLE_DF is not set # CONFIG_NSH_DISABLE_DF is not set
# CONFIG_NSH_DISABLE_DELROUTE is not set # CONFIG_NSH_DISABLE_DELROUTE is not set