/*
 * Automatically generated C config: don't edit
 */
#define RTL_AUTOCONF_INCLUDED
#define RTLINUX_V3 1
#define _RTL_POSIX_THREADS 1
#define _RTL_POSIX_THREAD_SAFE_FUNCTIONS 1
#define _RTL_POSIX_THREAD_PRIORITY_SCHEDULING 1
#define _RTL_POSIX_THREAD_PROCESS_SHARED 1
#define _RTL_POSIX_THREAD_ATTR_STACKADDR 1
#define _RTL_POSIX_THREAD_ATTR_STACKSIZE 1
#define _RTL_POSIX_SEMAPHORES 1
#define _RTL_POSIX_MONOTONIC_CLOCK 1
#define _RTL_POSIX_SPIN_LOCKS 1
#define _RTL_POSIX_TIMEOUTS 1
#define RTL_PTHREAD_KEYS_MAX (20)
#define RTL_PTHREAD_THREADS_MAX (128)
#define RTL_PTHREAD_MUTEX_MAX (128)
#define RTL_PTHREAD_COND_MAX (128)
#define RTL_SEM_NSEMS_MAX (128)
#define _RTL_POSIX_THREAD_THREADS_MAX (128)
/*
 * Load options
 */
#undef  CONFIG_RTL_MODULE
/*
 * Processor type and features
 */
#define CONFIG_PENTIUM 1
#undef  CONFIG_STRONGARM
#define CONFIG_KERNEL_MEMORYPROT 1
#undef  CONFIG_CONTEXT_MEMORYPROT
/*
 * Posix options
 */
#define _RTL_POSIX_IO 1
#define _RTL_POSIX_SIGNALS 1
#define _RTL_POSIX_SEMS 1
#define _RTL_POSIX_MUTEXS 1
#define _RTL_POSIX_CONDVARS 1
#define CONFIG_OC_PBARRIERS 1
/*
 * Memory Allocator options
 */
#undef  CONFIG_RTL_SMA
#undef  CONFIG_RTL_DMA
/*
 * Debug options
 */
#undef  CONFIG_RTL_GDBAGENT
#undef  CONFIG_RTL_BAKERTEST
#undef  CONFIG_RTL_DEBUG
/*
 * Drivers
 */
#define CONFIG_RT_TERMINAL 1
#define CONFIG_RTL_PRINTF 1
#undef  CONFIG_RT_COMM
#define CONFIG_RTL_DEVMEM_SUPPORT 1