#
# Automatically generated make config: don't edit
#
RTLINUX_V3=y
_RTL_POSIX_THREADS=y
_RTL_POSIX_THREAD_SAFE_FUNCTIONS=y
_RTL_POSIX_THREAD_PRIORITY_SCHEDULING=y
_RTL_POSIX_THREAD_PROCESS_SHARED=y
_RTL_POSIX_THREAD_ATTR_STACKADDR=y
_RTL_POSIX_THREAD_ATTR_STACKSIZE=y
_RTL_POSIX_SEMAPHORES=y
_RTL_POSIX_MONOTONIC_CLOCK=y
_RTL_POSIX_SPIN_LOCKS=y
_RTL_POSIX_TIMEOUTS=y
RTL_PTHREAD_KEYS_MAX=20
RTL_PTHREAD_THREADS_MAX=128
RTL_PTHREAD_MUTEX_MAX=128
RTL_PTHREAD_COND_MAX=128
RTL_SEM_NSEMS_MAX=128
_RTL_POSIX_THREAD_THREADS_MAX=128

#
# Support options
#
CONFIG_RTL_POSIX_IO=y
# _RTL_POSIX_THREAD_PRIO_PROTECT is not set
CONFIG_RTL_DEVMEM_SUPPORT=y
CONFIG_RTL_DEBUG=y
CONFIG_RTL_SLOW_CONSOLE=y
# CONFIG_RTL_SUSPEND_LINUX is not set
# CONFIG_RTL_TRACER is not set
# CONFIG_PSC is not set
CONFIG_RTL_FP_SUPPORT=y
# CONFIG_RTL_USE_V1_API is not set
CONFIG_RTL_DEBUGGER=y
# CONFIG_RTL_CLOCK_GPOS is not set

#
# Drivers
#
CONFIG_RTL_NFIFOS=64
# CONFIG_RTFPREALLOC is not set
CONFIG_MBUFF=y
CONFIG_RT_COMM=y
