diff --git a/debian/config/featureset-rt/config b/debian/config/featureset-rt/config index f7f823e19..a1a828040 100644 --- a/debian/config/featureset-rt/config +++ b/debian/config/featureset-rt/config @@ -22,6 +22,11 @@ CONFIG_PREEMPT_RT_FULL=y ## CONFIG_SCHED_TRACER=y CONFIG_HWLAT_TRACER=y -CONFIG_WAKEUP_LATENCY_HIST=y -CONFIG_MISSED_TIMER_OFFSETS_HIST=y + +## +## file: unknown +## +#. Dropped between 4.9 and 4.11, but might come back +CONFIG_MISSED_TIMER_OFFSETS_HIST=y +CONFIG_WAKEUP_LATENCY_HIST=y