diff options
Diffstat (limited to 'kern/Kconfig')
| -rw-r--r-- | kern/Kconfig | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/kern/Kconfig b/kern/Kconfig index fced67c2..977070f9 100644 --- a/kern/Kconfig +++ b/kern/Kconfig @@ -94,6 +94,19 @@ config THREAD_STACK_GUARD If unsure, disable. +config PERFMON + def_bool n + +config PERFMON_MAX_PMCS + int "Number of performance monitoring counters" + default 8 + depends on PERFMON + ---help--- + Number of performance monitoring counters. + + This value affects the minimum duration of some critical sections + that run with interrupts disabled. + endmenu menu "Debugging" |