From 2f529f9b558ca1c1bd74be7437a84e4711743404 Mon Sep 17 00:00:00 2001
From: hc <hc@nodka.com>
Date: Fri, 01 Nov 2024 02:11:33 +0000
Subject: [PATCH] add xenomai

---
 kernel/init/Kconfig |   63 +++++++++++++++++++++++++++++++
 1 files changed, 62 insertions(+), 1 deletions(-)

diff --git a/kernel/init/Kconfig b/kernel/init/Kconfig
index 2c92f94..39812ff 100644
--- a/kernel/init/Kconfig
+++ b/kernel/init/Kconfig
@@ -1531,7 +1531,19 @@
 config PRINTK_NMI
 	def_bool y
 	depends on PRINTK
-	depends on HAVE_NMI
+	depends on HAVE_NMI || IRQ_PIPELINE
+
+config RAW_PRINTK
+       bool "Enable support for raw printk"
+       default n
+       help
+         This option enables a printk variant called raw_printk() for
+         writing all output unmodified to a raw console channel
+         immediately, without any header or preparation whatsoever,
+         usable from any context.
+
+	 Unlike early_printk() console devices, raw_printk() devices
+         can live past the boot sequence.
 
 config BUG
 	bool "BUG() support" if EXPERT
@@ -2449,3 +2461,52 @@
 if !ROCKCHIP_MINI_KERNEL
 source "init/Kconfig.gki"
 endif
+menuconfig XENOMAI
+	depends on X86_TSC || !X86
+	bool "Xenomai/cobalt"
+	select IPIPE if HAVE_IPIPE_SUPPORT
+	select IPIPE_WANT_APIREV_2 if IPIPE
+	select DOVETAIL if HAVE_DOVETAIL
+	select DOVETAIL_LEGACY_SYSCALL_RANGE if HAVE_DOVETAIL
+	default y
+	help
+	  Xenomai's Cobalt core is a real-time extension to the Linux
+	  kernel, which exhibits very short interrupt and scheduling
+	  latency, without affecting the regular kernel services.
+
+	  This option enables the set of extended kernel services
+	  required to run the real-time applications in user-space,
+	  over the Xenomai libraries.
+
+	  Please visit http://xenomai.org for more information.
+
+if XENOMAI
+source "arch/arm64/xenomai/Kconfig"
+endif
+
+if MIGRATION
+comment "WARNING! Page migration (CONFIG_MIGRATION) may increase"
+comment "latency."
+endif
+
+if APM || CPU_FREQ || ACPI_PROCESSOR || INTEL_IDLE
+comment "WARNING! At least one of APM, CPU frequency scaling, ACPI 'processor'"
+comment "or CPU idle features is enabled. Any of these options may"
+comment "cause troubles with Xenomai. You should disable them."
+endif
+
+config XENO_VERSION_MAJOR
+       int
+       default 3
+
+config XENO_VERSION_MINOR
+       int
+       default 2
+
+config XENO_REVISION_LEVEL
+       int
+       default 4
+
+config XENO_VERSION_STRING
+       string
+       default "3.2.4"

--
Gitblit v1.6.2