diff options
| author | Glenn Elliott <gelliott@cs.unc.edu> | 2012-03-22 14:45:39 -0400 |
|---|---|---|
| committer | Glenn Elliott <gelliott@cs.unc.edu> | 2012-03-22 14:45:39 -0400 |
| commit | 8973214f010cf55fbf18cb88471d6c99ed6ff575 (patch) | |
| tree | 80fe28857305bb6cfaaa130206967282759511e7 /litmus/Kconfig | |
| parent | 6a00f206debf8a5c8899055726ad127dbeeed098 (diff) | |
Introduction of basic nesting foundations.
Diffstat (limited to 'litmus/Kconfig')
| -rw-r--r-- | litmus/Kconfig | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/litmus/Kconfig b/litmus/Kconfig index 94b48e199577..841a7e4e9723 100644 --- a/litmus/Kconfig +++ b/litmus/Kconfig | |||
| @@ -60,6 +60,13 @@ config LITMUS_LOCKING | |||
| 60 | Say Yes if you want to include locking protocols such as the FMLP and | 60 | Say Yes if you want to include locking protocols such as the FMLP and |
| 61 | Baker's SRP. | 61 | Baker's SRP. |
| 62 | 62 | ||
| 63 | config LITMUS_NESTED_LOCKING | ||
| 64 | bool "Support for nested inheritance in locking protocols" | ||
| 65 | depends on LITMUS_LOCKING | ||
| 66 | default n | ||
| 67 | help | ||
| 68 | Enable nested priority inheritance. | ||
| 69 | |||
| 63 | endmenu | 70 | endmenu |
| 64 | 71 | ||
| 65 | menu "Performance Enhancements" | 72 | menu "Performance Enhancements" |