## For a description of the syntax of this configuration file,# see the Configure script.#mainmenu_name "RTLinux Configuration"define_bool RTLINUX_V3 ydefine_bool _RTL_POSIX_THREADS ydefine_bool _RTL_POSIX_THREAD_SAFE_FUNCTIONS ydefine_bool _RTL_POSIX_THREAD_PRIORITY_SCHEDULING ydefine_bool _RTL_POSIX_THREAD_PROCESS_SHARED ydefine_bool _RTL_POSIX_THREAD_ATTR_STACKADDR ydefine_bool _RTL_POSIX_THREAD_ATTR_STACKSIZE ydefine_bool _RTL_POSIX_SEMAPHORES ydefine_bool _RTL_POSIX_MONOTONIC_CLOCK ydefine_bool _RTL_POSIX_SPIN_LOCKS ydefine_bool _RTL_POSIX_TIMEOUTS y# should be made configurabledefine_int RTL_PTHREAD_KEYS_MAX 20define_int RTL_PTHREAD_THREADS_MAX 128define_int RTL_PTHREAD_MUTEX_MAX 128define_int RTL_PTHREAD_COND_MAX 128define_int RTL_SEM_NSEMS_MAX 128  define_int _RTL_POSIX_THREAD_THREADS_MAX 128mainmenu_option next_commentcomment 'Support options'bool 'Posix Standard IO' CONFIG_RTL_POSIX_IObool 'POSIX Priority Protection' _RTL_POSIX_THREAD_PRIO_PROTECTbool 'Dev Mem Support' CONFIG_RTL_DEVMEM_SUPPORTbool 'Enable Debugging' CONFIG_RTL_DEBUGbool 'rtl_printf uses printk' CONFIG_RTL_SLOW_CONSOLE# bool 'POSIX Timeouts' _POSIX_TIMEOUTSbool 'Nolinux support (experimental)' CONFIG_RTL_RESERVE_CPUbool 'RTLinux tracer support (experimental)' CONFIG_RTL_TRACERbool 'POSIX Signals' CONFIG_OC_PSIGNALSif [ "$CONFIG_OC_PSIGNALS" = "y" ]; then   bool 'POSIX Timers' CONFIG_OC_PTIMERS  fi    source main/arch/config.inendmenumainmenu_option next_commentcomment 'Drivers'int  'Max number of fifos ' CONFIG_RTL_NFIFOS 64bool 'Preallocated fifo buffers ' CONFIG_RTFPREALLOC Nif [ "$CONFIG_RTFPREALLOC" = "y" ]; then	int  'Size (in bytes) of preallocated fifos ' CONFIG_SIZE_RTFBUFF 2048	int  'Number of preallocated fifos ' CONFIG_NRTFBUFF 16 fibool 'Shared Memory  Driver' CONFIG_MBUFFbool 'Serial Port Driver' CONFIG_RT_COMMmainmenu_option next_commentcomment 'Network'	bool 'RT-Sockets' CONFIG_RTSOCKendmenuendmenu