#
# 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_MICROCHIPW is not set
CONFIG_MIPS32_TOOLCHAIN_MICROCHIPW_LITE=y
# CONFIG_MIPS32_TOOLCHAIN_PINGUINOW 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=y
# CONFIG_ARCH_CHIP_PIC32MX460F256L is not set
# CONFIG_ARCH_CHIP_PIC32MX460F512L is not set
# 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 is not set
CONFIG_PIC32MX_UART2=y
# 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_UART2PRIO=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=5580
# CONFIG_ARCH_CALIBRATION is not set
CONFIG_DRAM_START=0xa0000000
CONFIG_DRAM_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_SUREPIC32MX=y
# CONFIG_ARCH_BOARD_CUSTOM is not set
CONFIG_ARCH_BOARD="sure-pic32mx"

#
# Common Board Options
#
CONFIG_ARCH_HAVE_LEDS=y
CONFIG_ARCH_LEDS=y
CONFIG_ARCH_HAVE_BUTTONS=y
# CONFIG_ARCH_BUTTONS is not set
CONFIG_ARCH_HAVE_IRQBUTTONS=y

#
# Board-Specific Options
#
CONFIG_ARCH_DBDP11215=y
# CONFIG_ARCH_DBDP11212 is not set

#
# 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_UART2=y
CONFIG_MCU_SERIAL=y
CONFIG_UART2_SERIAL_CONSOLE=y
# CONFIG_NO_SERIAL_CONSOLE is not set

#
# UART2 Configuration
#
CONFIG_UART2_RXBUFSIZE=256
CONFIG_UART2_TXBUFSIZE=256
CONFIG_UART2_BAUD=115200
CONFIG_UART2_BITS=8
CONFIG_UART2_PARITY=0
CONFIG_UART2_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_EXAMPLES_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_BUILTIN is not set
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_EXAMPLES_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
#