diff options
Diffstat (limited to 'debian.linaro/config/enforce')
-rw-r--r-- | debian.linaro/config/enforce | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/debian.linaro/config/enforce b/debian.linaro/config/enforce index 7fcf9aa9742..05479c5bed4 100644 --- a/debian.linaro/config/enforce +++ b/debian.linaro/config/enforce @@ -86,3 +86,11 @@ value CONFIG_LIBCRC32C y # LINARO kernels should have TIMER_STATS on (LP: 718677) value CONFIG_TIMER_STATS y + +# LINARO kernels should have basic profiling and tracing options on (LP: 764796) +value CONFIG_PROFILING y +value CONFIG_PERF_EVENTS y +value CONFIG_HW_PERF_EVENTS y +value CONFIG_FTRACE y +value CONFIG_ENABLE_DEFAULT_TRACERS y | value CONFIG_GENERIC_TRACER y +value CONFIG_HIGH_RES_TIMERS y |