summaryrefslogtreecommitdiffstats
path: root/debian/config/featureset-rt
diff options
context:
space:
mode:
Diffstat (limited to 'debian/config/featureset-rt')
-rw-r--r--debian/config/featureset-rt/config20
-rw-r--r--debian/config/featureset-rt/defines7
2 files changed, 27 insertions, 0 deletions
diff --git a/debian/config/featureset-rt/config b/debian/config/featureset-rt/config
new file mode 100644
index 000000000..f959fc4c8
--- /dev/null
+++ b/debian/config/featureset-rt/config
@@ -0,0 +1,20 @@
+##
+## file: kernel/Kconfig.preempt
+##
+## choice: Preemption Model
+# CONFIG_PREEMPT_VOLUNTARY is not set
+CONFIG_PREEMPT_RT=y
+## end choice
+
+##
+## file: kernel/rcu/Kconfig
+##
+CONFIG_RCU_EXPERT=y
+
+##
+## file: kernel/trace/Kconfig
+##
+CONFIG_SCHED_TRACER=y
+CONFIG_HWLAT_TRACER=y
+CONFIG_OSNOISE_TRACER=y
+CONFIG_TIMERLAT_TRACER=y
diff --git a/debian/config/featureset-rt/defines b/debian/config/featureset-rt/defines
new file mode 100644
index 000000000..44e2f2b03
--- /dev/null
+++ b/debian/config/featureset-rt/defines
@@ -0,0 +1,7 @@
+[abi]
+ignore-changes: *
+
+[description]
+part-long-rt: This kernel includes the PREEMPT_RT realtime patch set.
+part-short-rt: PREEMPT_RT
+parts: rt