From 62e7de7b829a266f6c57e47c933f8bef9615d48f Mon Sep 17 00:00:00 2001
From: Leonardo Graboski Veiga <leonardo.veiga@toradex.com>
Date: Mon, 19 Aug 2024 17:03:21 -0300
Subject: [PATCH] xenomai: update kernel config for determinism

Update the Xenomai common kernel config to make the system more
deterministic.

Some config are explicitly disabled, other are changed.

Signed-off-by: Leonardo Graboski Veiga <leonardo.veiga@toradex.com>
---
 recipes-kernel/linux/files/xenomai-common.cfg | 17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

diff --git a/recipes-kernel/linux/files/xenomai-common.cfg b/recipes-kernel/linux/files/xenomai-common.cfg
index 8b2aa28a..748bd12f 100644
--- a/recipes-kernel/linux/files/xenomai-common.cfg
+++ b/recipes-kernel/linux/files/xenomai-common.cfg
@@ -12,6 +12,7 @@ CONFIG_NO_HZ_COMMON=y
 # CONFIG_HZ_PERIODIC is not set
 CONFIG_NO_HZ_IDLE=y
 CONFIG_NO_HZ=n
+CONFIG_HIGH_RES_TIMERS=y
 
 #
 # CPU/Task time and stats accounting
@@ -31,6 +32,13 @@ CONFIG_RCU_FANOUT_LEAF=16
 CONFIG_RCU_NOCB_CPU=y
 # CONFIG_TASKS_TRACE_RCU_READ_MB is not set
 
+#
+# Processor type and features
+#
+CONFIG_SCHED_MC=y
+CONFIG_SCHED_MC_PRIO=n
+CONFIG_MCORE2=y
+
 CONFIG_DOVETAIL=y
 CONFIG_DOVETAIL_LEGACY_SYSCALL_RANGE=y
 
@@ -39,6 +47,7 @@ CONFIG_DOVETAIL_LEGACY_SYSCALL_RANGE=y
 #
 CONFIG_COMPACTION=n
 CONFIG_MIGRATION=n
+CONFIG_TRANSPARENT_HUGEPAGE=n
 
 CONFIG_HZ_250=y
 CONFIG_HZ=250
@@ -48,10 +57,12 @@ CONFIG_HZ=250
 #
 CONFIG_SUSPEND=n
 CONFIG_PM=n
+CONFIG_ACPI_PROCESSOR=n
 
 #
 # CPU Frequency scaling
 #
+CONFIG_CPU_FREQ=n
 CONFIG_CPU_FREQ_STAT=n
 CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE=y
 CONFIG_CPU_FREQ_DEFAULT_GOV_SCHEDUTIL=n
@@ -65,8 +76,6 @@ CONFIG_RAW_PRINTK=y
 #
 # CPU Idle
 #
-CONFIG_CPU_IDLE=y
-CONFIG_CPU_IDLE_GOV_LADDER=y
-CONFIG_CPU_IDLE_GOV_MENU=y
-# CONFIG_CPU_IDLE_GOV_TEO is not set
+CONFIG_CPU_IDLE=n
+CONFIG_INTEL_IDLE=n
 # end of CPU Idle
\ No newline at end of file