summaryrefslogtreecommitdiff
path: root/nuttx/configs/skp16c26/ostest/defconfig
diff options
context:
space:
mode:
Diffstat (limited to 'nuttx/configs/skp16c26/ostest/defconfig')
-rw-r--r--nuttx/configs/skp16c26/ostest/defconfig6
1 files changed, 6 insertions, 0 deletions
diff --git a/nuttx/configs/skp16c26/ostest/defconfig b/nuttx/configs/skp16c26/ostest/defconfig
index 0536c3f12..781532b0d 100644
--- a/nuttx/configs/skp16c26/ostest/defconfig
+++ b/nuttx/configs/skp16c26/ostest/defconfig
@@ -180,6 +180,10 @@ CONFIG_HAVE_LIBM=n
# provides /dev/console. Enables stdout, stderr, stdin.
# CONFIG_DEV_LOWCONSOLE - Use the simple, low-level serial console
# driver (minimul support)
+# CONFIG_MUTEX_TYPES: Set to enable support for recursive and
+# errorcheck mutexes. Enables pthread_mutexattr_settype().
+# CONFIG_PRIORITY_INHERITANCE : Set to enable support for priority
+# inheritance on mutexes and semaphores.
#
CONFIG_EXAMPLE=ostest
CONFIG_DEBUG=n
@@ -195,6 +199,8 @@ CONFIG_START_DAY=20
CONFIG_JULIAN_TIME=n
CONFIG_DEV_CONSOLE=y
CONFIG_DEV_LOWCONSOLE=y
+CONFIG_MUTEX_TYPES=n
+CONFIG_PRIORITY_INHERITANCE=n
#
# The following can be used to disable categories of