diff options
| author | Ingo Molnar <mingo@elte.hu> | 2006-06-27 11:54:53 +0200 |
|---|---|---|
| committer | Linus Torvalds <torvalds@g5.osdl.org> | 2006-06-28 02:32:47 +0200 |
| commit | 23f78d4a03c53cbd75d87a795378ea540aa08c86 (patch) | |
| tree | 27dfe06337990911380fe8c5949ae9acd8e9568a /init | |
| parent | [PATCH] pi-futex: scheduler support for pi (diff) | |
| download | linux-23f78d4a03c53cbd75d87a795378ea540aa08c86.tar.xz linux-23f78d4a03c53cbd75d87a795378ea540aa08c86.zip | |
[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 kernel data structures. This saves memory on small machines, but may reduce performance. +config RT_MUTEXES + boolean + select PLIST + config FUTEX bool "Enable futex support" if EMBEDDED default y + select RT_MUTEXES help Disabling this option will cause the kernel to be built without support for "fast userspace mutexes". The resulting kernel may not |