diff --git a/configs/README.txt b/configs/README.txt index e9b930cb1b..cfd20b3b96 100644 --- a/configs/README.txt +++ b/configs/README.txt @@ -195,8 +195,10 @@ defconfig -- This is a configuration file similar to the Linux CONFIG_JULIAN_TIME - Enables Julian time conversions CONFIG_DEV_CONSOLE - Set if architecture-specific logic provides /dev/console. Enables stdout, stderr, stdin. - CONFIG_MUTEX_TYPES - Set to enabled support for recursive and + 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. The following can be used to disable categories of APIs supported by the OS. If the compiler supports weak functions, then it diff --git a/configs/sim/ostest/defconfig b/configs/sim/ostest/defconfig index 4ea688e85d..f6e766dd5b 100644 --- a/configs/sim/ostest/defconfig +++ b/configs/sim/ostest/defconfig @@ -1,7 +1,7 @@ ############################################################################ # configs/sim/ostest/defconfig # -# Copyright (C) 2007, 2008 Gregory Nutt. All rights reserved. +# Copyright (C) 2007-2009 Gregory Nutt. All rights reserved. # Author: Gregory Nutt # # Redistribution and use in source and binary forms, with or without @@ -98,6 +98,7 @@ CONFIG_JULIAN_TIME=n CONFIG_DEV_CONSOLE=y CONFIG_DEV_LOWCONSOLE=n CONFIG_MUTEX_TYPES=y +CONFIG_PRIORITY_INHERITANCE=n # # The following can be used to disable categories of