diff options
| author | patacongo <patacongo@7fd9a85b-ad96-42d3-883c-3090e2eb8679> | 2009-03-09 00:33:39 +0000 |
|---|---|---|
| committer | patacongo <patacongo@7fd9a85b-ad96-42d3-883c-3090e2eb8679> | 2009-03-09 00:33:39 +0000 |
| commit | 49da0f2355231e7ebc14b4194a4739ba541a7dc1 (patch) | |
| tree | e4004b3a960bb2374e432857aaf84a65003c0519 /nuttx/configs/us7032evb1 | |
| parent | 98f1f1514261a0675f5aef9d55fb1010b5092e14 (diff) | |
Add option to select priority inheritance
git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@1582 7fd9a85b-ad96-42d3-883c-3090e2eb8679
Diffstat (limited to 'nuttx/configs/us7032evb1')
| -rw-r--r-- | nuttx/configs/us7032evb1/nsh/defconfig | 8 | ||||
| -rw-r--r-- | nuttx/configs/us7032evb1/ostest/defconfig | 8 |
2 files changed, 14 insertions, 2 deletions
diff --git a/nuttx/configs/us7032evb1/nsh/defconfig b/nuttx/configs/us7032evb1/nsh/defconfig index b97c941851..d1d8a751c0 100644 --- a/nuttx/configs/us7032evb1/nsh/defconfig +++ b/nuttx/configs/us7032evb1/nsh/defconfig @@ -1,7 +1,7 @@ ############################################################################ # configs/us7032evb1/nsh/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 @@ -184,6 +184,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 @@ -199,6 +203,8 @@ CONFIG_START_DAY=10 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/us7032evb1/ostest/defconfig b/nuttx/configs/us7032evb1/ostest/defconfig index ae3160cb6d..d1a7869795 100644 --- a/nuttx/configs/us7032evb1/ostest/defconfig +++ b/nuttx/configs/us7032evb1/ostest/defconfig @@ -1,7 +1,7 @@ ############################################################################ # configs/us7032evb1/ostest/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 @@ -184,6 +184,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 @@ -199,6 +203,8 @@ CONFIG_START_DAY=10 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 |