diff options
author | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2009-03-09 00:33:39 +0000 |
---|---|---|
committer | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2009-03-09 00:33:39 +0000 |
commit | e663fb0f0c90eba293f47ae839f1964222057dae (patch) | |
tree | e4004b3a960bb2374e432857aaf84a65003c0519 /nuttx/configs/ntosd-dm320 | |
parent | 51835242fc57907004ec44d499b5278ac6cc822b (diff) | |
download | px4-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/ntosd-dm320')
-rw-r--r-- | nuttx/configs/ntosd-dm320/nettest/defconfig | 8 | ||||
-rw-r--r-- | nuttx/configs/ntosd-dm320/nsh/defconfig | 8 | ||||
-rw-r--r-- | nuttx/configs/ntosd-dm320/ostest/defconfig | 8 | ||||
-rw-r--r-- | nuttx/configs/ntosd-dm320/poll/defconfig | 8 | ||||
-rw-r--r-- | nuttx/configs/ntosd-dm320/udp/defconfig | 8 | ||||
-rw-r--r-- | nuttx/configs/ntosd-dm320/uip/defconfig | 8 |
6 files changed, 42 insertions, 6 deletions
diff --git a/nuttx/configs/ntosd-dm320/nettest/defconfig b/nuttx/configs/ntosd-dm320/nettest/defconfig index eea5c03c6..7605384b0 100644 --- a/nuttx/configs/ntosd-dm320/nettest/defconfig +++ b/nuttx/configs/ntosd-dm320/nettest/defconfig @@ -1,7 +1,7 @@ ############################################################################ # configs/ntosd-dm320/nettest/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 @@ -150,6 +150,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=nettest CONFIG_DEBUG=n @@ -165,6 +169,8 @@ CONFIG_START_DAY=29 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/ntosd-dm320/nsh/defconfig b/nuttx/configs/ntosd-dm320/nsh/defconfig index 1134b7204..7a961f604 100644 --- a/nuttx/configs/ntosd-dm320/nsh/defconfig +++ b/nuttx/configs/ntosd-dm320/nsh/defconfig @@ -1,7 +1,7 @@ ############################################################################ # configs/ntosd-dm320/nsh/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 @@ -150,6 +150,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 @@ -165,6 +169,8 @@ CONFIG_START_DAY=12 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/ntosd-dm320/ostest/defconfig b/nuttx/configs/ntosd-dm320/ostest/defconfig index 96dfa7127..36e1d7567 100644 --- a/nuttx/configs/ntosd-dm320/ostest/defconfig +++ b/nuttx/configs/ntosd-dm320/ostest/defconfig @@ -1,7 +1,7 @@ ############################################################################ # configs/ntosd-dm320/ostest/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 @@ -150,6 +150,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 @@ -165,6 +169,8 @@ CONFIG_START_DAY=29 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/ntosd-dm320/poll/defconfig b/nuttx/configs/ntosd-dm320/poll/defconfig index f88a6b951..e4e0df900 100644 --- a/nuttx/configs/ntosd-dm320/poll/defconfig +++ b/nuttx/configs/ntosd-dm320/poll/defconfig @@ -1,7 +1,7 @@ ############################################################################ # configs/ntosd-dm320/poll/defconfig # -# Copyright (C) 2008 Gregory Nutt. All rights reserved. +# Copyright (C) 2008, 2009 Gregory Nutt. All rights reserved. # Author: Gregory Nutt <spudmonkey@racsa.co.cr> # # Redistribution and use in source and binary forms, with or without @@ -150,6 +150,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=poll CONFIG_DEBUG=n @@ -165,6 +169,8 @@ CONFIG_START_DAY=19 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/ntosd-dm320/udp/defconfig b/nuttx/configs/ntosd-dm320/udp/defconfig index 8237ac4b3..42b4df2b6 100644 --- a/nuttx/configs/ntosd-dm320/udp/defconfig +++ b/nuttx/configs/ntosd-dm320/udp/defconfig @@ -1,7 +1,7 @@ ############################################################################ # configs/ntosd-dm320/udp/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 @@ -150,6 +150,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=udp CONFIG_DEBUG=n @@ -165,6 +169,8 @@ CONFIG_START_DAY=29 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/ntosd-dm320/uip/defconfig b/nuttx/configs/ntosd-dm320/uip/defconfig index 190d5f185..bbb6a3d90 100644 --- a/nuttx/configs/ntosd-dm320/uip/defconfig +++ b/nuttx/configs/ntosd-dm320/uip/defconfig @@ -1,7 +1,7 @@ ############################################################################ # configs/ntosd-dm320/uip/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 @@ -150,6 +150,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 @@ -165,6 +169,8 @@ CONFIG_START_DAY=29 CONFIG_JULIAN_TIME=n CONFIG_DEV_CONSOLE=n CONFIG_DEV_LOWCONSOLE=n +CONFIG_MUTEX_TYPES=n +CONFIG_PRIORITY_INHERITANCE=n # # The following can be used to disable categories of |