/*
 * Automatically generated by make menuconfig: 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)

/*
 * Processor type and features
 */
#define CONFIG_I386 1
#undef  CONFIG_ARM
#undef  CONFIG_XTRATUM
#undef  CONFIG_XENO
#undef  CONFIG_KERNEL_MEMORYPROT
#define CONFIG_RTL_FP_SUPPORT 1

/*
 * Scheduler
 */
#define CONFIG_RTL_SCHED_RM 1
#undef  CONFIG_RTL_SCHED_EDF

/*
 * Posix options
 */
#define _RTL_POSIX_IO 1
#define _RTL_POSIX_SIGNALS 1
#define _RTL_POSIX_SEMS 1
#define _RTL_POSIX_MUTEXS 1
#undef  CONFIG_RTL_SRP
#define _RTL_POSIX_CONDVARS 1
#define CONFIG_OC_PBARRIERS 1

/*
 * Debug options
 */
#undef  CONFIG_RTL_GDBAGENT
#undef  CONFIG_RTL_BAKERTEST
#undef  CONFIG_RTL_DEBUG

/*
 * Drivers
 */
#undef  DEVICE_I386_TERMINAL
#undef  DEVICE_I386_KBD
#undef  DEVICE_I386_SERIAL_MOUSE
#define DEVICE_I386_PS2_MOUSE 1
#undef  DEVICE_I386_SERIAL
#undef  DEVICE_XTRATUM_TERMINAL
#undef  DEVICE_XTRATUM_MOUSE
#undef  DEVICE_XTRATUM_KBD
#undef  DEVICE_SA1100_SERIAL
#undef  CONFIG_RTL_DEVMEM_SUPPORT

/*
 * GUI
 */
#define CONFIG_RTL_GUI 1
#define CONFIG_RTL_TINYGL 1
#undef  CONFIG_MOUSE_PROTOCOL_NONE
#define CONFIG_MOUSE_PROTOCOL_PS2 1
#undef  CONFIG_MOUSE_PROTOCOL_MS

/*
 * Non Real Time
 */
#undef  CONFIG_RT_SERIALIZER