summaryrefslogtreecommitdiff
path: root/nuttx/configs/c5471evm
diff options
context:
space:
mode:
authorpatacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3>2009-03-09 00:33:39 +0000
committerpatacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3>2009-03-09 00:33:39 +0000
commite663fb0f0c90eba293f47ae839f1964222057dae (patch)
treee4004b3a960bb2374e432857aaf84a65003c0519 /nuttx/configs/c5471evm
parent51835242fc57907004ec44d499b5278ac6cc822b (diff)
downloadpx4-nuttx-e663fb0f0c90eba293f47ae839f1964222057dae.tar.gz
px4-nuttx-e663fb0f0c90eba293f47ae839f1964222057dae.tar.bz2
px4-nuttx-e663fb0f0c90eba293f47ae839f1964222057dae.zip
Add option to select priority inheritance
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@1582 42af7a65-404d-4744-a932-0658087f49c3
Diffstat (limited to 'nuttx/configs/c5471evm')
-rw-r--r--nuttx/configs/c5471evm/defconfig8
-rw-r--r--nuttx/configs/c5471evm/dhcpconfig8
-rw-r--r--nuttx/configs/c5471evm/netconfig8
-rw-r--r--nuttx/configs/c5471evm/nshconfig8
4 files changed, 28 insertions, 4 deletions
diff --git a/nuttx/configs/c5471evm/defconfig b/nuttx/configs/c5471evm/defconfig
index e388541aa..8bd0ddba6 100644
--- a/nuttx/configs/c5471evm/defconfig
+++ b/nuttx/configs/c5471evm/defconfig
@@ -1,7 +1,7 @@
############################################################################
# configs/c5471evm/defconfig
#
-# Copyright (C) 2007, 2008 Gregory Nutt. All rights reserved.
+# Copyright (C) 2007-2009 Gregory Nutt. All rights reserved.
# Author: Gregory Nutt <spudmonkey@racsa.co.cr>
#
# Redistribution and use in source and binary forms, with or without
@@ -152,6 +152,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
@@ -167,6 +171,8 @@ CONFIG_START_DAY=13
CONFIG_JULIAN_TIME=n
CONFIG_DEV_CONSOLE=y
CONFIG_DEV_LOWCONSOLE=n
+CONFIG_MUTEX_TYPES=n
+CONFIG_PRIORITY_INHERITANCE=n
#
# The following can be used to disable categories of
diff --git a/nuttx/configs/c5471evm/dhcpconfig b/nuttx/configs/c5471evm/dhcpconfig
index 8359dd6c9..d8be43c1c 100644
--- a/nuttx/configs/c5471evm/dhcpconfig
+++ b/nuttx/configs/c5471evm/dhcpconfig
@@ -1,7 +1,7 @@
############################################################################
# configs/c5471evm/dhcpconfig
#
-# Copyright (C) 2007, 2008 Gregory Nutt. All rights reserved.
+# Copyright (C) 2007-2009 Gregory Nutt. All rights reserved.
# Author: Gregory Nutt <spudmonkey@racsa.co.cr>
#
# Redistribution and use in source and binary forms, with or without
@@ -152,6 +152,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=uip
CONFIG_DEBUG=n
@@ -167,6 +171,8 @@ CONFIG_START_DAY=13
CONFIG_JULIAN_TIME=n
CONFIG_DEV_CONSOLE=y
CONFIG_DEV_LOWCONSOLE=n
+CONFIG_MUTEX_TYPES=n
+CONFIG_PRIORITY_INHERITANCE=n
#
# The following can be used to disable categories of
diff --git a/nuttx/configs/c5471evm/netconfig b/nuttx/configs/c5471evm/netconfig
index 61c3176f7..fc735fa86 100644
--- a/nuttx/configs/c5471evm/netconfig
+++ b/nuttx/configs/c5471evm/netconfig
@@ -1,7 +1,7 @@
############################################################################
# configs/c5471evm/netconfig
#
-# Copyright (C) 2007, 2008 Gregory Nutt. All rights reserved.
+# Copyright (C) 2007-2009 Gregory Nutt. All rights reserved.
# Author: Gregory Nutt <spudmonkey@racsa.co.cr>
#
# Redistribution and use in source and binary forms, with or without
@@ -152,6 +152,10 @@ CONFIG_UART_MODEM_2STOP=0
# 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=nettest
CONFIG_DEBUG=n
@@ -167,6 +171,8 @@ CONFIG_START_DAY=13
CONFIG_JULIAN_TIME=n
CONFIG_DEV_CONSOLE=y
CONFIG_DEV_LOWCONSOLE=n
+CONFIG_MUTEX_TYPES=n
+CONFIG_PRIORITY_INHERITANCE=n
#
# The following can be used to disable categories of
diff --git a/nuttx/configs/c5471evm/nshconfig b/nuttx/configs/c5471evm/nshconfig
index c6566fe0f..74120c99d 100644
--- a/nuttx/configs/c5471evm/nshconfig
+++ b/nuttx/configs/c5471evm/nshconfig
@@ -1,7 +1,7 @@
############################################################################
# configs/c5471evm/nshconfig
#
-# Copyright (C) 2007, 2008 Gregory Nutt. All rights reserved.
+# Copyright (C) 2007-2009 Gregory Nutt. All rights reserved.
# Author: Gregory Nutt <spudmonkey@racsa.co.cr>
#
# Redistribution and use in source and binary forms, with or without
@@ -152,6 +152,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=nsh
CONFIG_DEBUG=n
@@ -167,6 +171,8 @@ CONFIG_START_DAY=13
CONFIG_JULIAN_TIME=n
CONFIG_DEV_CONSOLE=y
CONFIG_DEV_LOWCONSOLE=n
+CONFIG_MUTEX_TYPES=n
+CONFIG_PRIORITY_INHERITANCE=n
#
# The following can be used to disable categories of