#
# Automatically generated make config: don't edit
#
RTLINUX_V3=y
_POSIX_THREADS=y
_POSIX_THREAD_SAFE_FUNCTIONS=y
_POSIX_THREAD_PRIORITY_SCHEDULING=y
_POSIX_THREAD_PROCESS_SHARED=y
_POSIX_THREAD_ATTR_STACKADDR=y
_POSIX_THREAD_ATTR_STACKSIZE=y
_POSIX_SEMAPHORES=y
_POSIX_MONOTONIC_CLOCK=y
_POSIX_SPIN_LOCKS=y
_RTL_POSIX_THREAD_KEYS_MAX=20
_POSIX_TIMEOUTS=y
_RTL_POSIX_THREAD_THREADS_MAX=128

#
# Support options
#
CONFIG_RTL_POSIX_IO=y
# _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=y
CONFIG_RTL_FP_SUPPORT=y

#
# Drivers
#
CONFIG_MBUFF=y
# CONFIG_RT_COMM is not set
CONFIG_RTL_DEBUGGER=y
