summaryrefslogtreecommitdiff
path: root/nuttx/configs/pcblogic-pic32mx/ostest/defconfig
diff options
context:
space:
mode:
Diffstat (limited to 'nuttx/configs/pcblogic-pic32mx/ostest/defconfig')
-rw-r--r--nuttx/configs/pcblogic-pic32mx/ostest/defconfig663
1 files changed, 0 insertions, 663 deletions
diff --git a/nuttx/configs/pcblogic-pic32mx/ostest/defconfig b/nuttx/configs/pcblogic-pic32mx/ostest/defconfig
deleted file mode 100644
index 7bc7d9c79..000000000
--- a/nuttx/configs/pcblogic-pic32mx/ostest/defconfig
+++ /dev/null
@@ -1,663 +0,0 @@
-#
-# Automatically generated file; DO NOT EDIT.
-# Nuttx/ Configuration
-#
-CONFIG_NUTTX_NEWCONFIG=y
-
-#
-# Build Setup
-#
-# CONFIG_EXPERIMENTAL is not set
-# CONFIG_HOST_LINUX is not set
-# CONFIG_HOST_OSX is not set
-CONFIG_HOST_WINDOWS=y
-# CONFIG_HOST_OTHER is not set
-# CONFIG_WINDOWS_NATIVE is not set
-CONFIG_WINDOWS_CYGWIN=y
-# CONFIG_WINDOWS_MSYS is not set
-# CONFIG_WINDOWS_OTHER is not set
-
-#
-# Build Configuration
-#
-# CONFIG_APPS_DIR="../apps"
-# CONFIG_BUILD_2PASS is not set
-
-#
-# Binary Output Formats
-#
-# CONFIG_RRLOAD_BINARY is not set
-CONFIG_INTELHEX_BINARY=y
-# CONFIG_MOTOROLA_SREC is not set
-# CONFIG_RAW_BINARY is not set
-
-#
-# Customize Header Files
-#
-# CONFIG_ARCH_STDBOOL_H is not set
-# CONFIG_ARCH_MATH_H is not set
-# CONFIG_ARCH_FLOAT_H is not set
-# CONFIG_ARCH_STDARG_H is not set
-
-#
-# Debug Options
-#
-# CONFIG_DEBUG is not set
-# CONFIG_DEBUG_SYMBOLS is not set
-
-#
-# System Type
-#
-# CONFIG_ARCH_8051 is not set
-# CONFIG_ARCH_ARM is not set
-# CONFIG_ARCH_AVR is not set
-# CONFIG_ARCH_HC is not set
-CONFIG_ARCH_MIPS=y
-# CONFIG_ARCH_RGMP is not set
-# CONFIG_ARCH_SH is not set
-# CONFIG_ARCH_SIM is not set
-# CONFIG_ARCH_X86 is not set
-# CONFIG_ARCH_Z16 is not set
-# CONFIG_ARCH_Z80 is not set
-CONFIG_ARCH="mips"
-CONFIG_ARCH_FAMILY="mips32"
-CONFIG_ARCH_CHIP="pic32mx"
-# CONFIG_SERIAL_TERMIOS is not set
-CONFIG_ARCH_CHIP_PIC32MX=y
-CONFIG_ARCH_MIPS32=y
-
-#
-# MIPS32 Configuration Options
-#
-# CONFIG_MIPS32_TOOLCHAIN_GNU_ELF is not set
-# CONFIG_MIPS32_TOOLCHAIN_MICROCHIPL is not set
-# CONFIG_MIPS32_TOOLCHAIN_MICROCHIPL_LITE is not set
-# CONFIG_MIPS32_TOOLCHAIN_MICROCHIPW is not set
-CONFIG_MIPS32_TOOLCHAIN_MICROCHIPW_LITE=y
-# CONFIG_MIPS32_TOOLCHAIN_MICROCHIPOPENL is not set
-# CONFIG_MIPS32_TOOLCHAIN_PINGUINOW is not set
-# CONFIG_MIPS32_TOOLCHAIN_PINGUINOL is not set
-# CONFIG_MIPS32_FRAMEPOINTER is not set
-
-#
-# PIC32MX Configuration Options
-#
-# CONFIG_ARCH_CHIP_PIC32MX110F016B is not set
-# CONFIG_ARCH_CHIP_PIC32MX110F016C is not set
-# CONFIG_ARCH_CHIP_PIC32MX110F016D is not set
-# CONFIG_ARCH_CHIP_PIC32MX120F032B is not set
-# CONFIG_ARCH_CHIP_PIC32MX120F032C is not set
-# CONFIG_ARCH_CHIP_PIC32MX120F032D is not set
-# CONFIG_ARCH_CHIP_PIC32MX130F064B is not set
-# CONFIG_ARCH_CHIP_PIC32MX130F064C is not set
-# CONFIG_ARCH_CHIP_PIC32MX130F064D is not set
-# CONFIG_ARCH_CHIP_PIC32MX150F128B is not set
-# CONFIG_ARCH_CHIP_PIC32MX150F128C is not set
-# CONFIG_ARCH_CHIP_PIC32MX150F128D is not set
-# CONFIG_ARCH_CHIP_PIC32MX210F016B is not set
-# CONFIG_ARCH_CHIP_PIC32MX210F016C is not set
-# CONFIG_ARCH_CHIP_PIC32MX210F016D is not set
-# CONFIG_ARCH_CHIP_PIC32MX220F032B is not set
-# CONFIG_ARCH_CHIP_PIC32MX220F032C is not set
-# CONFIG_ARCH_CHIP_PIC32MX220F032D is not set
-# CONFIG_ARCH_CHIP_PIC32MX230F064B is not set
-# CONFIG_ARCH_CHIP_PIC32MX230F064C is not set
-# CONFIG_ARCH_CHIP_PIC32MX230F064D is not set
-# CONFIG_ARCH_CHIP_PIC32MX250F128B is not set
-# CONFIG_ARCH_CHIP_PIC32MX250F128C is not set
-# CONFIG_ARCH_CHIP_PIC32MX250F128D is not set
-# CONFIG_ARCH_CHIP_PIC32MX320F032H is not set
-# CONFIG_ARCH_CHIP_PIC32MX320F064H is not set
-# CONFIG_ARCH_CHIP_PIC32MX320F128H is not set
-# CONFIG_ARCH_CHIP_PIC32MX320F128L is not set
-# CONFIG_ARCH_CHIP_PIC32MX340F128H is not set
-# CONFIG_ARCH_CHIP_PIC32MX340F256H is not set
-# CONFIG_ARCH_CHIP_PIC32MX340F512H is not set
-# CONFIG_ARCH_CHIP_PIC32MX340F128L is not set
-# CONFIG_ARCH_CHIP_PIC32MX360F256L is not set
-# CONFIG_ARCH_CHIP_PIC32MX360F512L is not set
-# CONFIG_ARCH_CHIP_PIC32MX420F032H is not set
-# CONFIG_ARCH_CHIP_PIC32MX440F128H is not set
-# CONFIG_ARCH_CHIP_PIC32MX440F128L is not set
-# CONFIG_ARCH_CHIP_PIC32MX440F256H is not set
-# CONFIG_ARCH_CHIP_PIC32MX440F512H is not set
-# CONFIG_ARCH_CHIP_PIC32MX460F256L is not set
-CONFIG_ARCH_CHIP_PIC32MX460F512L=y
-# CONFIG_ARCH_CHIP_PIC32MX534F064H is not set
-# CONFIG_ARCH_CHIP_PIC32MX534F064L is not set
-# CONFIG_ARCH_CHIP_PIC32MX564F064H is not set
-# CONFIG_ARCH_CHIP_PIC32MX564F064L is not set
-# CONFIG_ARCH_CHIP_PIC32MX564F128H is not set
-# CONFIG_ARCH_CHIP_PIC32MX564F128L is not set
-# CONFIG_ARCH_CHIP_PIC32MX575F256H is not set
-# CONFIG_ARCH_CHIP_PIC32MX575F256L is not set
-# CONFIG_ARCH_CHIP_PIC32MX575F512H is not set
-# CONFIG_ARCH_CHIP_PIC32MX575F512L is not set
-# CONFIG_ARCH_CHIP_PIC32MX664F064H is not set
-# CONFIG_ARCH_CHIP_PIC32MX664F064L is not set
-# CONFIG_ARCH_CHIP_PIC32MX664F128H is not set
-# CONFIG_ARCH_CHIP_PIC32MX664F128L is not set
-# CONFIG_ARCH_CHIP_PIC32MX675F256H is not set
-# CONFIG_ARCH_CHIP_PIC32MX675F256L is not set
-# CONFIG_ARCH_CHIP_PIC32MX675F512H is not set
-# CONFIG_ARCH_CHIP_PIC32MX675F512L is not set
-# CONFIG_ARCH_CHIP_PIC32MX695F512H is not set
-# CONFIG_ARCH_CHIP_PIC32MX695F512L is not set
-# CONFIG_ARCH_CHIP_PIC32MX764F128H is not set
-# CONFIG_ARCH_CHIP_PIC32MX764F128L is not set
-# CONFIG_ARCH_CHIP_PIC32MX775F256H is not set
-# CONFIG_ARCH_CHIP_PIC32MX775F256L is not set
-# CONFIG_ARCH_CHIP_PIC32MX775F512H is not set
-# CONFIG_ARCH_CHIP_PIC32MX775F512L is not set
-# CONFIG_ARCH_CHIP_PIC32MX795F512H is not set
-# CONFIG_ARCH_CHIP_PIC32MX795F512L is not set
-CONFIG_ARCH_CHIP_PIC32MX4=y
-# CONFIG_PIC32MX_MVEC is not set
-CONFIG_PIC32MX_T1=y
-
-#
-# PIC32MX Peripheral Support
-#
-# CONFIG_PIC32MX_WDT is not set
-# CONFIG_PIC32MX_T2 is not set
-# CONFIG_PIC32MX_T3 is not set
-# CONFIG_PIC32MX_T4 is not set
-# CONFIG_PIC32MX_T5 is not set
-# CONFIG_PIC32MX_IC1 is not set
-# CONFIG_PIC32MX_IC2 is not set
-# CONFIG_PIC32MX_IC3 is not set
-# CONFIG_PIC32MX_IC4 is not set
-# CONFIG_PIC32MX_IC5 is not set
-# CONFIG_PIC32MX_OC1 is not set
-# CONFIG_PIC32MX_OC2 is not set
-# CONFIG_PIC32MX_OC3 is not set
-# CONFIG_PIC32MX_OC4 is not set
-# CONFIG_PIC32MX_OC5 is not set
-# CONFIG_PIC32MX_I2C1 is not set
-# CONFIG_PIC32MX_I2C2 is not set
-# CONFIG_PIC32MX_I2C3 is not set
-# CONFIG_PIC32MX_I2C4 is not set
-# CONFIG_PIC32MX_I2C5 is not set
-# CONFIG_PIC32MX_SPI1 is not set
-# CONFIG_PIC32MX_SPI2 is not set
-# CONFIG_PIC32MX_SPI3 is not set
-# CONFIG_PIC32MX_SPI4 is not set
-CONFIG_PIC32MX_UART1=y
-# CONFIG_PIC32MX_UART2 is not set
-# CONFIG_PIC32MX_UART3 is not set
-# CONFIG_PIC32MX_UART4 is not set
-# CONFIG_PIC32MX_UART5 is not set
-# CONFIG_PIC32MX_UART6 is not set
-# CONFIG_PIC32MX_ADC is not set
-# CONFIG_PIC32MX_PMP is not set
-# CONFIG_PIC32MX_CM1 is not set
-# CONFIG_PIC32MX_CM2 is not set
-# CONFIG_PIC32MX_CM3 is not set
-# CONFIG_PIC32MX_RTCC is not set
-# CONFIG_PIC32MX_DMA is not set
-# CONFIG_PIC32MX_FLASH is not set
-# CONFIG_PIC32MX_USBDEV is not set
-# CONFIG_PIC32MX_USBHOST is not set
-# CONFIG_PIC32MX_CAN1 is not set
-# CONFIG_PIC32MX_CAN2 is not set
-# CONFIG_PIC32MX_ETHERNET is not set
-# CONFIG_PIC32MX_CTMU is not set
-
-#
-# PIC32MX Peripheral Interrupt Priorities
-#
-CONFIG_PIC32MX_CTPRIO=16
-CONFIG_PIC32MX_CS0PRIO=16
-CONFIG_PIC32MX_CS1PRIO=16
-CONFIG_PIC32MX_INT0PRIO=16
-CONFIG_PIC32MX_INT1PRIO=16
-CONFIG_PIC32MX_INT2PRIO=16
-CONFIG_PIC32MX_INT3PRIO=16
-CONFIG_PIC32MX_INT4PRIO=16
-CONFIG_PIC32MX_T1PRIO=16
-CONFIG_PIC32MX_UART1PRIO=16
-
-#
-# Device Configuration 0 (DEVCFG0)
-#
-CONFIG_PIC32MX_DEBUGGER=2
-CONFIG_PIC32MX_ICESEL=1
-CONFIG_PIC32MX_PROGFLASHWP=0xff
-CONFIG_PIC32MX_BOOTFLASHWP=1
-CONFIG_PIC32MX_CODEWP=1
-
-#
-# Device Configuration 3 (DEVCFG3)
-#
-CONFIG_PIC32MX_USBIDO=0
-CONFIG_PIC32MX_VBUSIO=0
-# CONFIG_PIC32MX_WDENABLE is not set
-CONFIG_PIC32MX_FETHIO=1
-CONFIG_PIC32MX_FMIIEN=1
-
-#
-# External Memory Configuration
-#
-
-#
-# Architecture Options
-#
-# CONFIG_ARCH_NOINTC is not set
-CONFIG_ARCH_VECNOTIRQ=y
-# CONFIG_ARCH_DMA is not set
-CONFIG_ARCH_IRQPRIO=y
-# CONFIG_CUSTOM_STACK is not set
-# CONFIG_ADDRENV is not set
-CONFIG_ARCH_HAVE_VFORK=y
-CONFIG_ARCH_STACKDUMP=y
-# CONFIG_ENDIAN_BIG is not set
-CONFIG_ARCH_HAVE_RAMFUNCS=y
-# CONFIG_ARCH_RAMFUNCS is not set
-# CONFIG_ARCH_HAVE_RAMVECTORS is not set
-
-#
-# Board Settings
-#
-CONFIG_BOARD_LOOPSPERMSEC=8079
-# CONFIG_ARCH_CALIBRATION is not set
-CONFIG_RAM_START=0xa0000000
-CONFIG_RAM_SIZE=32768
-CONFIG_ARCH_HAVE_INTERRUPTSTACK=y
-CONFIG_ARCH_INTERRUPTSTACK=0
-
-#
-# Boot options
-#
-# CONFIG_BOOT_RUNFROMEXTSRAM is not set
-CONFIG_BOOT_RUNFROMFLASH=y
-# CONFIG_BOOT_RUNFROMISRAM is not set
-# CONFIG_BOOT_RUNFROMSDRAM is not set
-# CONFIG_BOOT_COPYTORAM is not set
-
-#
-# Board Selection
-#
-CONFIG_ARCH_BOARD_PCBLOGICPIC32MX=y
-# CONFIG_ARCH_BOARD_UBW32 is not set
-# CONFIG_ARCH_BOARD_CUSTOM is not set
-CONFIG_ARCH_BOARD="pcblogic-pic32mx"
-
-#
-# Common Board Options
-#
-
-#
-# Board-Specific Options
-#
-
-#
-# RTOS Features
-#
-# CONFIG_BOARD_INITIALIZE is not set
-CONFIG_MSEC_PER_TICK=10
-CONFIG_RR_INTERVAL=0
-# CONFIG_SCHED_INSTRUMENTATION is not set
-CONFIG_TASK_NAME_SIZE=0
-# CONFIG_SCHED_HAVE_PARENT is not set
-# CONFIG_JULIAN_TIME is not set
-CONFIG_START_YEAR=2011
-CONFIG_START_MONTH=4
-CONFIG_START_DAY=8
-CONFIG_DEV_CONSOLE=y
-# CONFIG_MUTEX_TYPES is not set
-# CONFIG_PRIORITY_INHERITANCE is not set
-# CONFIG_FDCLONE_DISABLE is not set
-# CONFIG_FDCLONE_STDIO is not set
-CONFIG_SDCLONE_DISABLE=y
-# CONFIG_SCHED_WAITPID is not set
-# CONFIG_SCHED_STARTHOOK is not set
-# CONFIG_SCHED_ATEXIT is not set
-# CONFIG_SCHED_ONEXIT is not set
-CONFIG_USER_ENTRYPOINT="ostest_main"
-CONFIG_DISABLE_OS_API=y
-# CONFIG_DISABLE_CLOCK is not set
-# CONFIG_DISABLE_POSIX_TIMERS is not set
-# CONFIG_DISABLE_PTHREAD is not set
-# CONFIG_DISABLE_SIGNALS is not set
-# CONFIG_DISABLE_MQUEUE is not set
-CONFIG_DISABLE_ENVIRON=y
-
-#
-# Signal Numbers
-#
-CONFIG_SIG_SIGUSR1=1
-CONFIG_SIG_SIGUSR2=2
-CONFIG_SIG_SIGALARM=3
-CONFIG_SIG_SIGCONDTIMEDOUT=16
-
-#
-# Sizes of configurable things (0 disables)
-#
-CONFIG_MAX_TASKS=16
-CONFIG_MAX_TASK_ARGS=4
-CONFIG_NPTHREAD_KEYS=4
-CONFIG_NFILE_DESCRIPTORS=8
-CONFIG_NFILE_STREAMS=8
-CONFIG_NAME_MAX=32
-CONFIG_PREALLOC_MQ_MSGS=4
-CONFIG_MQ_MAXMSGSIZE=32
-CONFIG_MAX_WDOGPARMS=2
-CONFIG_PREALLOC_WDOGS=4
-CONFIG_PREALLOC_TIMERS=4
-
-#
-# Stack and heap information
-#
-CONFIG_IDLETHREAD_STACKSIZE=2048
-CONFIG_USERMAIN_STACKSIZE=2048
-CONFIG_PTHREAD_STACK_MIN=256
-CONFIG_PTHREAD_STACK_DEFAULT=2048
-
-#
-# Device Drivers
-#
-CONFIG_DISABLE_POLL=y
-CONFIG_DEV_NULL=y
-# CONFIG_DEV_ZERO is not set
-# CONFIG_LOOP is not set
-# CONFIG_RAMDISK is not set
-# CONFIG_CAN is not set
-# CONFIG_PWM is not set
-# CONFIG_I2C is not set
-# CONFIG_SPI is not set
-# CONFIG_RTC is not set
-# CONFIG_WATCHDOG is not set
-# CONFIG_ANALOG is not set
-# CONFIG_AUDIO_DEVICES is not set
-# CONFIG_BCH is not set
-# CONFIG_INPUT is not set
-# CONFIG_LCD is not set
-# CONFIG_MMCSD is not set
-# CONFIG_MTD is not set
-# CONFIG_PIPES is not set
-# CONFIG_PM is not set
-# CONFIG_POWER is not set
-# CONFIG_SENSORS is not set
-CONFIG_SERIAL=y
-CONFIG_DEV_LOWCONSOLE=y
-# CONFIG_16550_UART is not set
-CONFIG_ARCH_HAVE_UART1=y
-CONFIG_MCU_SERIAL=y
-CONFIG_UART1_SERIAL_CONSOLE=y
-# CONFIG_NO_SERIAL_CONSOLE is not set
-
-#
-# UART1 Configuration
-#
-CONFIG_UART1_RXBUFSIZE=256
-CONFIG_UART1_TXBUFSIZE=256
-CONFIG_UART1_BAUD=115200
-CONFIG_UART1_BITS=8
-CONFIG_UART1_PARITY=0
-CONFIG_UART1_2STOP=0
-# CONFIG_USBDEV is not set
-# CONFIG_USBHOST is not set
-# CONFIG_WIRELESS is not set
-
-#
-# System Logging Device Options
-#
-
-#
-# System Logging
-#
-# CONFIG_RAMLOG is not set
-
-#
-# Networking Support
-#
-# CONFIG_NET is not set
-
-#
-# File Systems
-#
-
-#
-# File system configuration
-#
-CONFIG_DISABLE_MOUNTPOINT=y
-# CONFIG_FS_RAMMAP is not set
-
-#
-# System Logging
-#
-# CONFIG_SYSLOG_ENABLE is not set
-# CONFIG_SYSLOG is not set
-
-#
-# Graphics Support
-#
-# CONFIG_NX is not set
-
-#
-# Memory Management
-#
-# CONFIG_MM_MULTIHEAP is not set
-# CONFIG_MM_SMALL is not set
-CONFIG_MM_REGIONS=1
-# CONFIG_GRAN is not set
-
-#
-# Audio Support
-#
-# CONFIG_AUDIO is not set
-
-#
-# Binary Formats
-#
-# CONFIG_BINFMT_DISABLE is not set
-# CONFIG_NXFLAT is not set
-# CONFIG_ELF is not set
-# CONFIG_BUILTIN is not set
-# CONFIG_PIC is not set
-# CONFIG_SYMTAB_ORDEREDBYNAME is not set
-
-#
-# Library Routines
-#
-
-#
-# Standard C Library Options
-#
-CONFIG_STDIO_BUFFER_SIZE=64
-CONFIG_STDIO_LINEBUFFER=y
-CONFIG_NUNGET_CHARS=2
-# CONFIG_LIBM is not set
-# CONFIG_NOPRINTF_FIELDWIDTH is not set
-# CONFIG_LIBC_FLOATINGPOINT is not set
-CONFIG_LIB_RAND_ORDER=1
-# CONFIG_EOL_IS_CR is not set
-# CONFIG_EOL_IS_LF is not set
-# CONFIG_EOL_IS_BOTH_CRLF is not set
-CONFIG_EOL_IS_EITHER_CRLF=y
-# CONFIG_LIBC_EXECFUNCS is not set
-CONFIG_POSIX_SPAWN_PROXY_STACKSIZE=1024
-CONFIG_TASK_SPAWN_DEFAULT_STACKSIZE=2048
-# CONFIG_LIBC_STRERROR is not set
-# CONFIG_LIBC_PERROR_STDOUT is not set
-CONFIG_ARCH_LOWPUTC=y
-CONFIG_LIB_SENDFILE_BUFSIZE=512
-# CONFIG_ARCH_ROMGETC is not set
-# CONFIG_ARCH_OPTIMIZED_FUNCTIONS is not set
-
-#
-# Non-standard Library Support
-#
-# CONFIG_SCHED_WORKQUEUE is not set
-# CONFIG_LIB_KBDCODEC is not set
-# CONFIG_LIB_SLCDCODEC is not set
-
-#
-# Basic CXX Support
-#
-# CONFIG_C99_BOOL8 is not set
-# CONFIG_HAVE_CXX is not set
-
-#
-# Application Configuration
-#
-
-#
-# Built-In Applications
-#
-
-#
-# Examples
-#
-# CONFIG_EXAMPLES_BUTTONS is not set
-# CONFIG_EXAMPLES_CAN is not set
-# CONFIG_SYSTEM_COMPOSITE is not set
-# CONFIG_EXAMPLES_DHCPD is not set
-# CONFIG_EXAMPLES_ELF is not set
-# CONFIG_EXAMPLES_FTPC is not set
-# CONFIG_EXAMPLES_FTPD is not set
-# CONFIG_EXAMPLES_HELLO is not set
-# CONFIG_EXAMPLES_HELLOXX is not set
-# CONFIG_EXAMPLES_JSON is not set
-# CONFIG_EXAMPLES_HIDKBD is not set
-# CONFIG_EXAMPLES_KEYPADTEST is not set
-# CONFIG_EXAMPLES_IGMP is not set
-# CONFIG_EXAMPLES_LCDRW is not set
-# CONFIG_EXAMPLES_MM is not set
-# CONFIG_EXAMPLES_MODBUS is not set
-# CONFIG_EXAMPLES_MOUNT is not set
-# CONFIG_EXAMPLES_NSH is not set
-# CONFIG_EXAMPLES_NULL is not set
-# CONFIG_EXAMPLES_NX is not set
-# CONFIG_EXAMPLES_NXCONSOLE is not set
-# CONFIG_EXAMPLES_NXFFS is not set
-# CONFIG_EXAMPLES_NXFLAT is not set
-# CONFIG_EXAMPLES_NXHELLO is not set
-# CONFIG_EXAMPLES_NXIMAGE is not set
-# CONFIG_EXAMPLES_NXLINES is not set
-# CONFIG_EXAMPLES_NXTEXT is not set
-CONFIG_EXAMPLES_OSTEST=y
-CONFIG_EXAMPLES_OSTEST_LOOPS=1
-CONFIG_EXAMPLES_OSTEST_STACKSIZE=2048
-CONFIG_EXAMPLES_OSTEST_NBARRIER_THREADS=3
-CONFIG_EXAMPLES_OSTEST_RR_RANGE=10000
-CONFIG_EXAMPLES_OSTEST_RR_RUNS=10
-# CONFIG_EXAMPLES_PASHELLO is not set
-# CONFIG_EXAMPLES_PIPE is not set
-# CONFIG_EXAMPLES_POLL is not set
-# CONFIG_EXAMPLES_POSIXSPAWN is not set
-# CONFIG_EXAMPLES_QENCODER is not set
-# CONFIG_EXAMPLES_RGMP is not set
-# CONFIG_EXAMPLES_ROMFS is not set
-# CONFIG_EXAMPLES_SENDMAIL is not set
-# CONFIG_EXAMPLES_SERLOOP is not set
-# CONFIG_EXAMPLES_SLCD is not set
-# CONFIG_EXAMPLES_SMART is not set
-# CONFIG_EXAMPLES_TCPECHO is not set
-# CONFIG_EXAMPLES_TELNETD is not set
-# CONFIG_EXAMPLES_THTTPD is not set
-# CONFIG_EXAMPLES_TIFF is not set
-# CONFIG_EXAMPLES_TOUCHSCREEN is not set
-# CONFIG_EXAMPLES_UDP is not set
-# CONFIG_EXAMPLES_UIP is not set
-# CONFIG_EXAMPLES_USBSERIAL is not set
-# CONFIG_SYSTEM_USBMSC is not set
-# CONFIG_EXAMPLES_USBTERM is not set
-# CONFIG_EXAMPLES_WATCHDOG is not set
-
-#
-# Graphics Support
-#
-# CONFIG_TIFF is not set
-
-#
-# Interpreters
-#
-# CONFIG_INTERPRETERS_FICL is not set
-# CONFIG_INTERPRETERS_PCODE is not set
-
-#
-# Network Utilities
-#
-
-#
-# Networking Utilities
-#
-# CONFIG_NETUTILS_CODECS is not set
-# CONFIG_NETUTILS_DHCPC is not set
-# CONFIG_NETUTILS_DHCPD is not set
-# CONFIG_NETUTILS_FTPC is not set
-# CONFIG_NETUTILS_FTPD is not set
-# CONFIG_NETUTILS_JSON is not set
-# CONFIG_NETUTILS_RESOLV is not set
-# CONFIG_NETUTILS_SMTP is not set
-# CONFIG_NETUTILS_TELNETD is not set
-# CONFIG_NETUTILS_TFTPC is not set
-# CONFIG_NETUTILS_THTTPD is not set
-# CONFIG_NETUTILS_UIPLIB is not set
-# CONFIG_NETUTILS_WEBCLIENT is not set
-
-#
-# FreeModBus
-#
-# CONFIG_MODBUS is not set
-
-#
-# NSH Library
-#
-# CONFIG_NSH_LIBRARY is not set
-
-#
-# NxWidgets/NxWM
-#
-
-#
-# System NSH Add-Ons
-#
-
-#
-# Custom Free Memory Command
-#
-# CONFIG_SYSTEM_FREE is not set
-
-#
-# I2C tool
-#
-
-#
-# FLASH Program Installation
-#
-# CONFIG_SYSTEM_INSTALL is not set
-
-#
-# FLASH Erase-all Command
-#
-
-#
-# readline()
-#
-# CONFIG_SYSTEM_READLINE is not set
-
-#
-# Power Off
-#
-# CONFIG_SYSTEM_POWEROFF is not set
-
-#
-# RAMTRON
-#
-# CONFIG_SYSTEM_RAMTRON is not set
-
-#
-# SD Card
-#
-# CONFIG_SYSTEM_SDCARD is not set
-
-#
-# Sysinfo
-#
-# CONFIG_SYSTEM_SYSINFO is not set
-
-#
-# USB Monitor
-#