text: /* config.h -- Autogenerated! Do not edit. */
  
  #ifndef __INCLUDE_NUTTX_CONFIG_H
  #define __INCLUDE_NUTTX_CONFIG_H
  
  /* Architecture-specific options *************************/
  
  #define CONFIG_EXPERIMENTAL 1
  #define CONFIG_HOST_WINDOWS 1
  #define CONFIG_WINDOWS_CYGWIN 1
  #define CONFIG_APPS_DIR "../apps"
  #define CONFIG_BUILD_FLAT 1
  #define CONFIG_DEBUG 1
  #define CONFIG_DEBUG_SIGNATURE_BLOCK 1
  #define CONFIG_DEBUG_VERBOSE 1
  #define CONFIG_DEBUG_AUDIO 1
  #define CONFIG_ARCH_HAVE_STACKCHECK 1
  #define CONFIG_DEBUG_SYMBOLS 1
  #define CONFIG_ARCH_HAVE_CUSTOMOPT 1
  #define CONFIG_DEBUG_NOOPT 1
  #define CONFIG_ARCH_ARM 1
  #define CONFIG_ARCH "arm"
  #define CONFIG_ARCH_CHIP_BCM4390X 1
  #define CONFIG_ARCH_CORTEXR4 1
  #define CONFIG_ARCH_FAMILY "armv7-r"
  #define CONFIG_ARCH_CHIP "bcm4390x"
  #define CONFIG_ARMV7R_TOOLCHAIN_WICED 1
  #define CONFIG_NET_MULTICAST 1
  #define CONFIG_BCM4390X_UART0 1
  #define CONFIG_BCM4390X_UART1 1
  #define CONFIG_BCM4390X_SPI2 1
  #define CONFIG_BCM4390X_WWD 1
  #define CONFIG_ARCH_HAVE_VFORK 1
  #define CONFIG_BOARD_LOOPSPERMSEC 5000
  #define CONFIG_ARCH_HAVE_INTERRUPTSTACK 1
  #define CONFIG_ARCH_INTERRUPTSTACK 0
  #define CONFIG_BOOT_RUNFROMFLASH 1
  #define CONFIG_RAM_START 0x0
  #define CONFIG_RAM_SIZE 0
  #define CONFIG_ARCH_BOARD_BCM4390X_WCD1_3 1
  #define CONFIG_ARCH_BOARD "bcm4390x-wcd1_3"
  #define CONFIG_NSH_MMCSDMINOR 0
  #define CONFIG_DISABLE_OS_API 1
  #define CONFIG_SCHED_IDLE_TICKLESS 1
  #define CONFIG_USEC_PER_TICK 1000
  #define CONFIG_START_YEAR 114
  #define CONFIG_START_MONTH 1
  #define CONFIG_START_DAY 1
  #define CONFIG_MAX_WDOGPARMS 4
  #define CONFIG_PREALLOC_WDOGS 32
  #define CONFIG_WDOG_INTRESERVE 4
  #define CONFIG_PREALLOC_TIMERS 8
  #define CONFIG_INIT_ENTRYPOINT 1
  #define CONFIG_USER_ENTRYPOINT nsh_main
  #define CONFIG_RR_INTERVAL 200
  #define CONFIG_TASK_NAME_SIZE 31
  #define CONFIG_MAX_TASKS 32
  #define CONFIG_SCHED_HAVE_PARENT 1
  #define CONFIG_SCHED_CHILD_STATUS 1
  #define CONFIG_PREALLOC_CHILDSTATUS 0
  #define CONFIG_SCHED_WAITPID 1
  #define CONFIG_MUTEX_TYPES 1
  #define CONFIG_NPTHREAD_KEYS 4
  #define CONFIG_SCHED_CPULOAD 1
  #define CONFIG_SCHED_CPULOAD_TIMECONSTANT 2
  #define CONFIG_DEV_CONSOLE 1
  #define CONFIG_NFILE_DESCRIPTORS 16
  #define CONFIG_NFILE_STREAMS 16
  #define CONFIG_NAME_MAX 32
  #define CONFIG_PRIORITY_INHERITANCE 1
  #define CONFIG_SEM_PREALLOCHOLDERS 16
  #define CONFIG_SEM_NNESTPRIO 16
  #define CONFIG_BOARD_INITIALIZE 1
  #define CONFIG_BOARD_INITTHREAD 1
  #define CONFIG_BOARD_INITTHREAD_STACKSIZE 4096
  #define CONFIG_BOARD_INITTHREAD_PRIORITY 240
  #define CONFIG_SIG_SIGUSR1 1
  #define CONFIG_SIG_SIGUSR2 2
  #define CONFIG_SIG_SIGALARM 3
  #define CONFIG_SIG_SIGCHLD 4
  #define CONFIG_SIG_SIGCONDTIMEDOUT 16
  #define CONFIG_SIG_SIGWORK 17
  #define CONFIG_PREALLOC_MQ_MSGS 32
  #define CONFIG_MQ_MAXMSGSIZE 32
  #define CONFIG_SCHED_WORKQUEUE 1
  #define CONFIG_SCHED_HPWORK 1
  #define CONFIG_SCHED_HPWORKPRIORITY 254
  #define CONFIG_SCHED_HPWORKPERIOD 50000
  #define CONFIG_SCHED_HPWORKSTACKSIZE 2048
  #define CONFIG_SCHED_LPWORK 1
  #define CONFIG_IDLETHREAD_STACKSIZE 1024
  #define CONFIG_USERMAIN_STACKSIZE 4096
  #define CONFIG_PTHREAD_STACK_MIN 256
  #define CONFIG_PTHREAD_STACK_DEFAULT 2048
  #define CONFIG_DEV_NULL 1
  #define CONFIG_PWM 1
  #define CONFIG_I2C 1
  #define CONFIG_I2C_TRANSFER 1
  #define CONFIG_SPI 1
  #define CONFIG_SPI_EXCHANGE 1
  #define CONFIG_WATCHDOG 1
  #define CONFIG_WATCHDOG_DEVPATH "/dev/watchdog0"
  #define CONFIG_AUDIO_DEVICES 1
  #define CONFIG_MTD 1
  #define CONFIG_MTD_SMART 1
  #define CONFIG_MTD_SMART_SECTOR_SIZE 4096
  #define CONFIG_RAMMTD 1
  #define CONFIG_NETDEVICES 1
  #define CONFIG_NETDEV_MULTINIC 1
  #define CONFIG_ARCH_PHY_INTERRUPT 1
  #define CONFIG_ETH0_PHY_NONE 1
  #define CONFIG_ETH1_PHY_NONE 1
  #define CONFIG_SERIAL 1
  #define CONFIG_ARCH_HAVE_UART0 1
  #define CONFIG_ARCH_HAVE_UART1 1
  #define CONFIG_MCU_SERIAL 1
  #define CONFIG_STANDARD_SERIAL 1
  #define CONFIG_SERIAL_NPOLLWAITERS 2
  #define CONFIG_UART0_SERIAL_CONSOLE 1
  #define CONFIG_UART0_RXBUFSIZE 256
  #define CONFIG_UART0_TXBUFSIZE 256
  #define CONFIG_UART0_BAUD 115200
  #define CONFIG_UART0_BITS 8
  #define CONFIG_UART0_PARITY 0
  #define CONFIG_UART0_2STOP 0
  #define CONFIG_UART1_RXBUFSIZE 256
  #define CONFIG_UART1_TXBUFSIZE 256
  #define CONFIG_UART1_BAUD 115200
  #define CONFIG_UART1_BITS 8
  #define CONFIG_UART1_PARITY 0
  #define CONFIG_UART1_2STOP 0
  #define CONFIG_SYSLOG 1
  #define CONFIG_SYSLOG_TIMESTAMP 1
  #define CONFIG_SYSLOG_DEVPATH "/dev/syslog"
  #define CONFIG_RAMLOG 1
  #define CONFIG_RAMLOG_SYSLOG 1
  #define CONFIG_RAMLOG_BUFSIZE 65536
  #define CONFIG_RAMLOG_NONBLOCKING 1
  #define CONFIG_RAMLOG_NPOLLWAITERS 4
  #define CONFIG_ARCH_HAVE_NET 1
  #define CONFIG_ARCH_HAVE_PHY 1
  #define CONFIG_NET 1
  #define CONFIG_NET_NOINTS 1
  #define CONFIG_NET_MULTIBUFFER 1
  #define CONFIG_NET_ETH_MTU 1514
  #define CONFIG_NET_ETH_TCP_RECVWNDO 32768
  #define CONFIG_NET_GUARDSIZE 0
  #define CONFIG_NET_ETHERNET 1
  #define CONFIG_NETDEV_PHY_IOCTL 1
  #define CONFIG_NET_IPv4 1
  #define CONFIG_NET_IPv6 1
  #define CONFIG_NET_IPv6_NCONF_ENTRIES 8
  #define CONFIG_NSOCKET_DESCRIPTORS 8
  #define CONFIG_NET_NACTIVESOCKETS 16
  #define CONFIG_NET_SOCKOPTS 1
  #define CONFIG_NET_SOLINGER 1
  #define CONFIG_NET_PKTINFO 1
  #define CONFIG_NET_LOCAL 1
  #define CONFIG_NET_LOCAL_STREAM 1
  #define CONFIG_NET_LOCAL_DGRAM 1
  #define CONFIG_NET_TCP 1
  #define CONFIG_NET_TCP_CONNS 8
  #define CONFIG_NET_MAX_LISTENPORTS 20
  #define CONFIG_NET_TCP_READAHEAD 1
  #define CONFIG_NET_TCP_WRITE_BUFFERS 1
  #define CONFIG_NET_TCP_NWRBCHAINS 8
  #define CONFIG_NET_TCP_RECVDELAY 0
  #define CONFIG_NET_TCPBACKLOG 1
  #define CONFIG_NET_UDP 1
  #define CONFIG_NET_UDP_CONNS 8
  #define CONFIG_NET_BROADCAST 1
  #define CONFIG_NET_UDP_READAHEAD 1
  #define CONFIG_NET_UDP_RECVMSG 1
  #define CONFIG_NET_ICMP 1
  #define CONFIG_NET_ICMP_PING 1
  #define CONFIG_NET_ICMPv6 1
  #define CONFIG_NET_ICMPv6_PING 1
  #define CONFIG_NET_ICMPv6_NEIGHBOR 1
  #define CONFIG_ICMPv6_NEIGHBOR_MAXTRIES 5
  #define CONFIG_ICMPv6_NEIGHBOR_DELAYMSEC 20
  #define CONFIG_NET_ICMPv6_AUTOCONF 1
  #define CONFIG_ICMPv6_AUTOCONF_MAXTRIES 5
  #define CONFIG_ICMPv6_AUTOCONF_DELAYMSEC 20
  #define CONFIG_NET_IGMP 1
  #define CONFIG_PREALLOC_IGMPGROUPS 4
  #define CONFIG_NET_ARP 1
  #define CONFIG_NET_ARPTAB_SIZE 16
  #define CONFIG_NET_ARP_MAXAGE 120
  #define CONFIG_NET_ARP_SEND 1
  #define CONFIG_ARP_SEND_MAXTRIES 10
  #define CONFIG_ARP_SEND_DELAYMSEC 50
  #define CONFIG_NET_IOB 1
  #define CONFIG_IOB_NBUFFERS 670
  #define CONFIG_IOB_BUFSIZE 196
  #define CONFIG_IOB_NCHAINS 32
  #define CONFIG_IOB_THROTTLE 0
  #define CONFIG_NET_STATISTICS 1
  #define CONFIG_NET_ROUTE 1
  #define CONFIG_NET_MAXROUTES 4
  #define CONFIG_FS_READABLE 1
  #define CONFIG_FS_WRITABLE 1
  #define CONFIG_FS_NAMED_SEMAPHORES 1
  #define CONFIG_FS_NAMED_SEMPATH "/var/lock"
  #define CONFIG_FS_MQUEUE_MPATH "/var/mqueue"
  #define CONFIG_FS_SMARTFS 1
  #define CONFIG_SMARTFS_ERASEDSTATE 0xff
  #define CONFIG_SMARTFS_MAXNAMLEN 100
  #define CONFIG_FS_PROCFS 1
  #define CONFIG_FS_AIO 1
  #define CONFIG_MM_REGIONS 1
  #define CONFIG_AUDIO 1
  #define CONFIG_AUDIO_NUM_BUFFERS 4
  #define CONFIG_AUDIO_BUFFER_NUMBYTES 1024
  #define CONFIG_AUDIO_DRIVER_SPECIFIC_BUFFERS 1
  #define CONFIG_AUDIO_DRIVER_SPECIFIC_BUFFER_MGMT 1
  #define CONFIG_AUDIO_EXCLUDE_BALANCE 1
  #define CONFIG_AUDIO_EXCLUDE_EQUALIZER 1
  #define CONFIG_AUDIO_EXCLUDE_TONE 1
  #define CONFIG_AUDIO_EXCLUDE_PAUSE_RESUME 1
  #define CONFIG_AUDIO_EXCLUDE_STOP 1
  #define CONFIG_AUDIO_EXCLUDE_FFORWARD 1
  #define CONFIG_AUDIO_EXCLUDE_REWIND 1
  #define CONFIG_BUILTIN 1
  #define CONFIG_STDIO_BUFFER_SIZE 64
  #define CONFIG_STDIO_LINEBUFFER 1
  #define CONFIG_NUNGET_CHARS 2
  #define CONFIG_LIB_HOMEDIR "/"
  #define CONFIG_LIBM 1
  #define CONFIG_LIBC_FLOATINGPOINT 1
  #define CONFIG_LIB_RAND_ORDER 1
  #define CONFIG_EOL_IS_EITHER_CRLF 1
  #define CONFIG_POSIX_SPAWN_PROXY_STACKSIZE 1024
  #define CONFIG_TASK_SPAWN_DEFAULT_STACKSIZE 2048
  #define CONFIG_ARCH_LOWPUTC 1
  #define CONFIG_LIB_SENDFILE_BUFSIZE 512
  #define CONFIG_HAVE_CXX 1
  #define CONFIG_BUILTIN_PROXY_STACKSIZE 1024
  #define CONFIG_EXAMPLES_NSH 1
  #define CONFIG_EXAMPLES_OSTEST 1
  #define CONFIG_EXAMPLES_OSTEST_AIO 1
  #define CONFIG_EXAMPLES_OSTEST_AIOPATH "/mnt"
  #define CONFIG_EXAMPLES_OSTEST_LOOPS 1
  #define CONFIG_EXAMPLES_OSTEST_STACKSIZE 8192
  #define CONFIG_EXAMPLES_OSTEST_NBARRIER_THREADS 8
  #define CONFIG_EXAMPLES_OSTEST_RR_RANGE 10000
  #define CONFIG_EXAMPLES_OSTEST_RR_RUNS 10
  #define CONFIG_EXAMPLES_SMART 1
  #define CONFIG_NETUTILS_DHCPC 1
  #define CONFIG_NETUTILS_DNSCLIENT 1
  #define CONFIG_NETUTILS_DNSCLIENT_IPv4 1
  #define CONFIG_NETUTILS_DNSCLIENT_ENTRIES 8
  #define CONFIG_NETUTILS_DNSCLIENT_MAXRESPONSE 96
  #define CONFIG_NETUTILS_TELNETD 1
  #define CONFIG_NETUTILS_NETLIB 1
  #define CONFIG_NSH_LIBRARY 1
  #define CONFIG_NSH_CLE 1
  #define CONFIG_NSH_LINELEN 80
  #define CONFIG_NSH_CMDPARMS 1
  #define CONFIG_NSH_MAXARGUMENTS 6
  #define CONFIG_NSH_ARGCAT 1
  #define CONFIG_NSH_NESTDEPTH 3
  #define CONFIG_NSH_BUILTIN_APPS 1
  #define CONFIG_NSH_CMDOPT_DF_H 1
  #define CONFIG_NSH_CODECS_BUFSIZE 128
  #define CONFIG_NSH_CMDOPT_HEXDUMP 1
  #define CONFIG_NSH_PROC_MOUNTPOINT "/proc"
  #define CONFIG_NSH_FILEIOSIZE 1024
  #define CONFIG_NSH_CONSOLE 1
  #define CONFIG_NSH_NETINIT_THREAD 1
  #define CONFIG_NSH_NETINIT_MONITOR 1
  #define CONFIG_NSH_NETINIT_SIGNO 18
  #define CONFIG_NSH_NETINIT_RETRYMSEC 2000
  #define CONFIG_NSH_NETINIT_THREAD_STACKSIZE 1568
  #define CONFIG_NSH_NETINIT_THREAD_PRIORITY 100
  #define CONFIG_NSH_DHCPC 1
  #define CONFIG_NSH_DRIPADDR 0x0a000001
  #define CONFIG_NSH_NETMASK 0xffffff00
  #define CONFIG_NSH_NETINIT_COMMAND 1
  #define CONFIG_NSH_MAX_ROUNDTRIP 20
  #define CONFIG_NSH_TELNET 1
  #define CONFIG_NSH_TELNETD_PORT 23
  #define CONFIG_NSH_TELNETD_DAEMONPRIO 100
  #define CONFIG_NSH_TELNETD_DAEMONSTACKSIZE 2048
  #define CONFIG_NSH_TELNETD_CLIENTPRIO 100
  #define CONFIG_NSH_TELNETD_CLIENTSTACKSIZE 2048
  #define CONFIG_NSH_IOBUFFER_SIZE 512
  #define CONFIG_SYSTEM_CLE 1
  #define CONFIG_SYSTEM_CLE_DEBUGLEVEL 0
  #define CONFIG_SYSTEM_I2CTOOL 1
  #define CONFIG_I2CTOOL_MINBUS 0
  #define CONFIG_I2CTOOL_MAXBUS 3
  #define CONFIG_I2CTOOL_MINADDR 0x03
  #define CONFIG_I2CTOOL_MAXADDR 0x77
  #define CONFIG_I2CTOOL_MAXREGADDR 0xff
  #define CONFIG_I2CTOOL_DEFFREQ 100000
  #define CONFIG_SYSTEM_IPERF 1
  #define CONFIG_SYSTEM_IPERF_DEBUG 1
  #define CONFIG_SYSTEM_NXPLAYER 1
  #define CONFIG_NXPLAYER_PLAYTHREAD_STACKSIZE 1500
  #define CONFIG_NXPLAYER_COMMAND_LINE 1
  #define CONFIG_NXPLAYER_INCLUDE_HELP 1
  #define CONFIG_NXPLAYER_INCLUDE_DEVICE_SEARCH 1
  #define CONFIG_SYSTEM_READLINE 1
  #define CONFIG_READLINE_ECHO 1
  #define CONFIG_SYSTEM_FLASH_ERASEALL 1
  #define CONFIG_ARCH_MEMCPY 1
  #define CONFIG_ARCH_MEMSET 1
  #define CONFIG_LIBC_IOCTL_VARIADIC 1
  
  /* Sanity Checks *****************************************/
  
  /* If this is an NXFLAT, external build, then make sure that
   * NXFLAT support is enabled in the base code.
   */
  
  #if defined(__NXFLAT__) && !defined(CONFIG_NXFLAT)
  # error "NXFLAT support not enabled in this configuration"
  #endif
  
  /* NXFLAT requires PIC support in the TCBs. */
  
  #if defined(CONFIG_NXFLAT)
  # undef CONFIG_PIC
  # define CONFIG_PIC 1
  #endif
  
  /* Binary format support is disabled if no binary formats are
   * configured (at present, NXFLAT is the only supported binary.
   * format).
   */
  
  #if !defined(CONFIG_NXFLAT) && !defined(CONFIG_ELF) && !defined(CONFIG_BUILTIN)
  # undef CONFIG_BINFMT_DISABLE
  # define CONFIG_BINFMT_DISABLE 1
  #endif
  
  /* The correct way to disable RR scheduling is to set the
   * timeslice to zero.
   */
  
  #ifndef CONFIG_RR_INTERVAL
  # define CONFIG_RR_INTERVAL 0
  #endif
  
  /* The correct way to disable filesystem supuport is to set the number of
   * file descriptors to zero.
   */
  
  #ifndef CONFIG_NFILE_DESCRIPTORS
  # define CONFIG_NFILE_DESCRIPTORS 0
  #endif
  
  /* If a console is selected, then make sure that there are resources for
   * three file descriptors and, if any streams are selected, also for three
   * file streams.
   *
   * CONFIG_DEV_CONSOLE means that a builtin console device exists at /dev/console
   * and can be opened during boot-up.  Other consoles, such as USB consoles, may
   * not exist at boot-upand have to be handled in a different way.  Three file
   * descriptors and three file streams are still needed.
   */
  
  #if defined(CONFIG_DEV_CONSOLE) || defined(CONFIG_CDCACM_CONSOLE) || \
      defined(CONFIG_PL2303_CONSOLE)
  # if CONFIG_NFILE_DESCRIPTORS < 3
  #   undef CONFIG_NFILE_DESCRIPTORS
  #   define CONFIG_NFILE_DESCRIPTORS 3
  # endif
  
  # if CONFIG_NFILE_STREAMS > 0 && CONFIG_NFILE_STREAMS < 3
  #  undef CONFIG_NFILE_STREAMS
  #  define CONFIG_NFILE_STREAMS 3
  # endif
  
  /* If no console is selected, then disable all builtin console devices */
  
  #else
  #  undef CONFIG_DEV_LOWCONSOLE
  #  undef CONFIG_RAMLOG_CONSOLE
  #endif
  
  /* If priority inheritance is disabled, then do not allocate any
   * associated resources.
   */
  
  #if !defined(CONFIG_PRIORITY_INHERITANCE) || !defined(CONFIG_SEM_PREALLOCHOLDERS)
  # undef CONFIG_SEM_PREALLOCHOLDERS
  # define CONFIG_SEM_PREALLOCHOLDERS 0
  #endif
  
  #if !defined(CONFIG_PRIORITY_INHERITANCE) || !defined(CONFIG_SEM_NNESTPRIO)
  # undef CONFIG_SEM_NNESTPRIO
  # define CONFIG_SEM_NNESTPRIO 0
  #endif
  
  /* If no file descriptors are configured, then make certain no
   * streams are configured either.
   */
  
  #if CONFIG_NFILE_DESCRIPTORS == 0
  # undef CONFIG_NFILE_STREAMS
  # define CONFIG_NFILE_STREAMS 0
  #endif
  
  /* There must be at least one memory region. */
  
  #ifndef CONFIG_MM_REGIONS
  # define CONFIG_MM_REGIONS 1
  #endif
  
  /* If the end of RAM is not specified then it is assumed to be the beginning
   * of RAM plus the RAM size.
   */
  
  #ifndef CONFIG_RAM_END
  # define CONFIG_RAM_END (CONFIG_RAM_START+CONFIG_RAM_SIZE)
  #endif
  
  #ifndef CONFIG_RAM_VEND
  # define CONFIG_RAM_VEND (CONFIG_RAM_VSTART+CONFIG_RAM_SIZE)
  #endif
  
  /* If the end of FLASH is not specified then it is assumed to be the beginning
   * of FLASH plus the FLASH size.
   */
  
  #ifndef CONFIG_FLASH_END
  # define CONFIG_FLASH_END (CONFIG_FLASH_START+CONFIG_FLASH_SIZE)
  #endif
  
  /* If no file streams are configured, then make certain that buffered I/O
   * support is disabled
   */
  
  #if CONFIG_NFILE_STREAMS == 0
  # undef CONFIG_STDIO_BUFFER_SIZE
  # define CONFIG_STDIO_BUFFER_SIZE 0
  #endif
  
  /* If no standard C buffered I/O is not supported, then line-oriented buffering
   * cannot be supported.
   */
  
  #if CONFIG_STDIO_BUFFER_SIZE == 0
  # undef CONFIG_STDIO_LINEBUFFER
  #endif
  
  /* If the maximum message size is zero, then we assume that message queues
   * support should be disabled
   */
  
  #if CONFIG_MQ_MAXMSGSIZE <= 0 && !defined(CONFIG_DISABLE_MQUEUE)
  # define CONFIG_DISABLE_MQUEUE 1
  #endif
  
  /* If mountpoint support in not included, then no filesystem can be supported */
  
  #ifdef CONFIG_DISABLE_MOUNTPOINT
  # undef CONFIG_FS_FAT
  # undef CONFIG_FS_ROMFS
  # undef CONFIG_FS_NXFFS
  # undef CONFIG_FS_SMARTFS
  # undef CONFIG_FS_BINFS
  # undef CONFIG_NFS
  #endif
  
  /* Check if any readable and writable filesystem (OR USB storage) is supported */
  
  #if defined(CONFIG_FS_FAT) || defined(CONFIG_FS_ROMFS) || defined(CONFIG_USBMSC) || \
      defined(CONFIG_FS_NXFFS) || defined(CONFIG_FS_SMARTFS) || defined(CONFIG_FS_BINFS) || \
      defined(CONFIG_NFS) || defined(CONFIG_FS_PROCFS)
  # undef  CONFIG_FS_READABLE
  # define CONFIG_FS_READABLE 1
  #endif
  
  #if defined(CONFIG_FS_FAT) || defined(CONFIG_USBMSC) || defined(CONFIG_FS_NXFFS) || \
      defined(CONFIG_FS_SMARTFS) || defined(CONFIG_NFS)
  # undef  CONFIG_FS_WRITABLE
  # define CONFIG_FS_WRITABLE 1
  #endif
  
  /* There can be no network support with no socket descriptors */
  
  #if CONFIG_NSOCKET_DESCRIPTORS <= 0
  # undef CONFIG_NET
  #endif
  
  /* Conversely, if there is no network support, there is no need for
   * socket descriptors
   */
  
  #ifndef CONFIG_NET
  # undef CONFIG_NSOCKET_DESCRIPTORS
  # define CONFIG_NSOCKET_DESCRIPTORS 0
  #endif
  
  /* Protocol support can only be provided on top of basic network support */
  
  #ifndef CONFIG_NET
  # undef CONFIG_NET_TCP
  # undef CONFIG_NET_UDP
  # undef CONFIG_NET_ICMP
  #endif
  
  /* NFS client can only be provided on top of UDP network support */
  
  #if !defined(CONFIG_NET) || !defined(CONFIG_NET_UDP)
  # undef CONFIG_NFS
  #endif
  
  /* Verbose debug and sub-system debug only make sense if debug is enabled */
  
  #ifndef CONFIG_DEBUG
  # undef CONFIG_DEBUG_VERBOSE
  # undef CONFIG_DEBUG_SCHED
  # undef CONFIG_DEBUG_MM
  # undef CONFIG_DEBUG_PAGING
  # undef CONFIG_DEBUG_DMA
  # undef CONFIG_DEBUG_FS
  # undef CONFIG_DEBUG_LIB
  # undef CONFIG_DEBUG_BINFMT
  # undef CONFIG_DEBUG_NET
  # undef CONFIG_DEBUG_USB
  # undef CONFIG_DEBUG_GRAPHICS
  # undef CONFIG_DEBUG_GPIO
  # undef CONFIG_DEBUG_SPI
  # undef CONFIG_DEBUG_HEAP
  #endif
  
  /* User entry point. This is provided as a fall-back to keep compatibility
   * with existing code, for builds which do not define CONFIG_USER_ENTRYPOINT.
   */
  
  #ifndef CONFIG_USER_ENTRYPOINT
  # define CONFIG_USER_ENTRYPOINT main
  #endif
  
  #endif /* __INCLUDE_NUTTX_CONFIG_H */
  