diff options
| author | Andrea Bastoni <bastoni@cs.unc.edu> | 2009-12-17 21:34:09 -0500 |
|---|---|---|
| committer | Andrea Bastoni <bastoni@cs.unc.edu> | 2010-05-29 17:16:40 -0400 |
| commit | 5442a8adfce93c1cd556e04bfc0a118adc3b683e (patch) | |
| tree | 5e01b4062243a34bda49a531d4231ddca8126885 /litmus/Kconfig | |
| parent | fa3c94fc9cd1619fe0dd6081a1a980c09ef3e119 (diff) | |
[ported from 2008.3] Add Stack Resource Policy (SRP) support
Diffstat (limited to 'litmus/Kconfig')
| -rw-r--r-- | litmus/Kconfig | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/litmus/Kconfig b/litmus/Kconfig index f8c642658a2f..31cd527c25ef 100644 --- a/litmus/Kconfig +++ b/litmus/Kconfig | |||
| @@ -1,5 +1,18 @@ | |||
| 1 | menu "LITMUS^RT" | 1 | menu "LITMUS^RT" |
| 2 | 2 | ||
| 3 | menu "Real-Time Synchronization" | ||
| 4 | |||
| 5 | config SRP | ||
| 6 | bool "Stack Resource Policy (SRP)" | ||
| 7 | default n | ||
| 8 | help | ||
| 9 | Include support for Baker's Stack Resource Policy. | ||
| 10 | |||
| 11 | Say Yes if you want FMLP local long | ||
| 12 | critical section synchronization support. | ||
| 13 | |||
| 14 | endmenu | ||
| 15 | |||
| 3 | menu "Tracing" | 16 | menu "Tracing" |
| 4 | 17 | ||
| 5 | config FEATHER_TRACE | 18 | config FEATHER_TRACE |