/*
 * 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)

/*
 * Support options
 */
#define CONFIG_RTL_POSIX_IO 1
#undef  _RTL_POSIX_THREAD_PRIO_PROTECT
#define CONFIG_RTL_DEVMEM_SUPPORT 1
#define CONFIG_RTL_DEBUG 1
#define CONFIG_RTL_SLOW_CONSOLE 1
#undef  CONFIG_RTL_SUSPEND_LINUX
#undef  CONFIG_RTL_TRACER
#undef  CONFIG_PSC
#define CONFIG_RTL_FP_SUPPORT 1
#undef  CONFIG_RTL_USE_V1_API
#define CONFIG_RTL_DEBUGGER 1
#undef  CONFIG_RTL_CLOCK_GPOS

/*
 * Drivers
 */
#define CONFIG_RTL_NFIFOS (64)
#undef  CONFIG_RTFPREALLOC
#define CONFIG_MBUFF 1
#define CONFIG_RT_COMM 1
