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

mainmenu_name "Standalone 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 'Load options'
bool 'Module Load support' CONFIG_RTL_MODULE n
endmenu

mainmenu_option next_comment
comment 'Processor type and features'
choice 'Processor family' \
      "Pentium           CONFIG_PENTIUM \
       StrongARM         CONFIG_STRONGARM" Pentium
       
bool 'Kernel Memory Protection' CONFIG_KERNEL_MEMORYPROT 
if [ "$CONFIG_KERNEL_MEMORYPROT" = "y" ]; then
  bool 'Context Memory Protection' CONFIG_CONTEXT_MEMORYPROT 
fi
endmenu

mainmenu_option next_comment
comment 'Posix options'
bool 'Posix Standard IO' _RTL_POSIX_IO
bool 'Posix Signals' _RTL_POSIX_SIGNALS
bool 'Posix Semaphores' _RTL_POSIX_SEMS
bool 'Posix Mutexs' _RTL_POSIX_MUTEXS
if [ "$_RTL_POSIX_MUTEXS" = "y" ]; then
bool 'Posix Condition Vars' _RTL_POSIX_CONDVARS
fi
bool 'Posix Barriers' CONFIG_OC_PBARRIERS
endmenu

mainmenu_option next_comment
comment 'Memory Allocator options'
bool 'SMA (Simpliest Memory Allocator)' CONFIG_RTL_SMA y
bool 'DMA (Dinamic Memory Allocator)' CONFIG_RTL_DMA n
endmenu


mainmenu_option next_comment
comment 'Debug options'
bool 'Enable GDB Agent' CONFIG_RTL_GDBAGENT
if [ "$CONFIG_RTL_GDBAGENT" = "y" ]; then
bool 'Start BREAKPOINT' _RTL_STARTBREAKPOINT
bool 'RTL Tracer Support (Experimental)' CONFIG_RTL_TRACER
if [ "$CONFIG_RTL_TRACER" = "y" ]; then
int  'Number Tracer Events ' CONFIG_RTL_TRACER_EVENTS 200
fi
fi
bool 'Baker Test' CONFIG_RTL_BAKERTEST
bool 'Enable Debugging' CONFIG_RTL_DEBUG
endmenu


mainmenu_option next_comment
comment 'Drivers'
bool 'x86 rt_terminal Support' CONFIG_RT_TERMINAL
if [ "$CONFIG_RT_TERMINAL" = "y" ]; then
bool 'rtl_printf Support' CONFIG_RTL_PRINTF
fi
bool 'x86 Serial Port Driver' CONFIG_RT_COMM
bool 'Dev Mem Support' CONFIG_RTL_DEVMEM_SUPPORT
endmenu