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 <[email protected]>

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