#
# 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 'Processor type and features'
choice 'Processor family' \
      "I386              CONFIG_I386 \
       ARM               CONFIG_ARM \
       XTRATUM           CONFIG_XTRATUM \
       XENO              CONFIG_XENO" I386

if [ "$CONFIG_ARM" = "y" ]; then
choice 'StrongArm Type' \
      "SA1100            CONFIG_ARM_SA1100 \
       PXA25X            CONFIG_ARM_PXA" CONFIG_ARM_SA1100
fi

bool 'Kernel Memory Protection' CONFIG_KERNEL_MEMORYPROT 
if [ "$CONFIG_KERNEL_MEMORYPROT" = "y" ]; then
  bool 'Context Memory Protection' CONFIG_CONTEXT_MEMORYPROT 
fi
bool 'Float Point Support' CONFIG_RTL_FP_SUPPORT
endmenu

mainmenu_option next_comment
comment 'Scheduler'
choice 'Scheduler' \
      "Rate-Monotonic            CONFIG_RTL_SCHED_RM \
       EDF             CONFIG_RTL_SCHED_EDF" CONFIG_RTL_SCHED_RM
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 'Stack Resource Protocol' CONFIG_RTL_SRP
 bool 'Posix Condition Vars' _RTL_POSIX_CONDVARS
fi
bool 'Posix Barriers' CONFIG_OC_PBARRIERS
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' DEVICE_I386_TERMINAL
bool 'x86 Keyboard Support' DEVICE_I386_KBD
bool 'x86 Serial Mouse Support' DEVICE_I386_SERIAL_MOUSE
bool 'x86 PS/2 Mouse Support' DEVICE_I386_PS2_MOUSE
bool 'x86 Serial Port Driver' DEVICE_I386_SERIAL
bool 'Xtratum Terminal Interface' DEVICE_XTRATUM_TERMINAL
bool 'Xtratum Mouse Interface' DEVICE_XTRATUM_MOUSE
bool 'Xtratum Keyboard Interface' DEVICE_XTRATUM_KBD
bool 'ARM SA1100 Serial Support' DEVICE_SA1100_SERIAL
bool 'Dev Mem Support' CONFIG_RTL_DEVMEM_SUPPORT
endmenu

mainmenu_option next_comment
comment 'GUI'
bool 'Enable GUI' CONFIG_RTL_GUI
if [ "$CONFIG_RTL_GUI" = "y" ]; then
bool 'Tiny OpenGL Support' CONFIG_RTL_TINYGL
fi
choice 'Mouse Protocol' \
      "NoMouse           CONFIG_MOUSE_PROTOCOL_NONE \
       PS2               CONFIG_MOUSE_PROTOCOL_PS2 \
       MS                CONFIG_MOUSE_PROTOCOL_MS" CONFIG_MOUSE_PROTOCOL_NONE
endmenu


mainmenu_option next_comment
comment 'Non Real Time'
bool 'Serializer Support' CONFIG_RT_SERIALIZER
if [ "$CONFIG_RT_SERIALIZER" = "y" ]; then
bool 'Serial rtl_printf Support' CONFIG_SERIAL_PRINTF
fi
endmenu