#
# For a description of the syntax of this configuration file,
# see the Configure script.
#

mainmenu_name "RTLinux Configuration"

define_bool RTLINUX_V3 y

define_bool _RTL_POSIX_THREADS y
define_bool _RTL_POSIX_THREAD_SAFE_FUNCTIONS y
define_bool _RTL_POSIX_THREAD_PRIORITY_SCHEDULING y
define_bool _RTL_POSIX_THREAD_PROCESS_SHARED y
define_bool _RTL_POSIX_THREAD_ATTR_STACKADDR y
define_bool _RTL_POSIX_THREAD_ATTR_STACKSIZE y
define_bool _RTL_POSIX_SEMAPHORES y
define_bool _RTL_POSIX_MONOTONIC_CLOCK y
define_bool _RTL_POSIX_SPIN_LOCKS y
define_bool _RTL_POSIX_TIMEOUTS y

# should be made configurable
define_int RTL_PTHREAD_KEYS_MAX 20
define_int RTL_PTHREAD_THREADS_MAX 128
define_int RTL_PTHREAD_MUTEX_MAX 128
define_int RTL_PTHREAD_COND_MAX 128
define_int RTL_SEM_NSEMS_MAX 128
  

define_int _RTL_POSIX_THREAD_THREADS_MAX 128

mainmenu_option next_comment
comment 'Support options'
bool 'Posix Standard IO' CONFIG_RTL_POSIX_IO
bool 'POSIX Priority Protection' _RTL_POSIX_THREAD_PRIO_PROTECT
bool 'Dev Mem Support' CONFIG_RTL_DEVMEM_SUPPORT
bool 'Enable Debugging' CONFIG_RTL_DEBUG
bool 'rtl_printf uses printk' CONFIG_RTL_SLOW_CONSOLE
# bool 'POSIX Timeouts' _POSIX_TIMEOUTS
bool 'Nolinux support (experimental)' CONFIG_RTL_SUSPEND_LINUX
bool 'RTLinux tracer support (experimental)' CONFIG_RTL_TRACER
source main/arch/config.in
endmenu

mainmenu_option next_comment
comment 'Drivers'
int  'Max number of fifos ' CONFIG_RTL_NFIFOS 64
bool 'Preallocated fifo buffers ' CONFIG_RTFPREALLOC N
if [ "$CONFIG_RTFPREALLOC" = "y" ]; then
	int  'Size (in bytes) of preallocated fifos ' CONFIG_SIZE_RTFBUFF 2048
	int  'Number of preallocated fifos ' CONFIG_NRTFBUFF 16 
fi
bool 'Shared Memory  Driver' CONFIG_MBUFF
bool 'Serial Port Driver' CONFIG_RT_COMM
endmenu
