diff options
author | Ingo Molnar <mingo@elte.hu> | 2006-06-27 05:54:53 -0400 |
---|---|---|
committer | Linus Torvalds <torvalds@g5.osdl.org> | 2006-06-27 20:32:47 -0400 |
commit | 23f78d4a03c53cbd75d87a795378ea540aa08c86 (patch) | |
tree | 27dfe06337990911380fe8c5949ae9acd8e9568a /init | |
parent | b29739f902ee76a05493fb7d2303490fc75364f4 (diff) |
[PATCH] pi-futex: rt mutex core
Core functions for the rt-mutex subsystem.
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Signed-off-by: Arjan van de Ven <arjan@linux.intel.com>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
Diffstat (limited to 'init')
-rw-r--r-- | init/Kconfig | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/init/Kconfig b/init/Kconfig index df55b3665601..f70f2fd273c2 100644 --- a/init/Kconfig +++ b/init/Kconfig | |||
@@ -339,9 +339,14 @@ config BASE_FULL | |||
339 | kernel data structures. This saves memory on small machines, | 339 | kernel data structures. This saves memory on small machines, |
340 | but may reduce performance. | 340 | but may reduce performance. |
341 | 341 | ||
342 | config RT_MUTEXES | ||
343 | boolean | ||
344 | select PLIST | ||
345 | |||
342 | config FUTEX | 346 | config FUTEX |
343 | bool "Enable futex support" if EMBEDDED | 347 | bool "Enable futex support" if EMBEDDED |
344 | default y | 348 | default y |
349 | select RT_MUTEXES | ||
345 | help | 350 | help |
346 | Disabling this option will cause the kernel to be built without | 351 | Disabling this option will cause the kernel to be built without |
347 | support for "fast userspace mutexes". The resulting kernel may not | 352 | support for "fast userspace mutexes". The resulting kernel may not |