add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/init/Kconfig
..
..
@@ -1531,7 +1531,19 @@
1531
1531
 config PRINTK_NMI
1532
1532
 	def_bool y
1533
1533
 	depends on PRINTK
1534
-	depends on HAVE_NMI
1534
+	depends on HAVE_NMI || IRQ_PIPELINE
1535
+
1536
+config RAW_PRINTK
1537
+       bool "Enable support for raw printk"
1538
+       default n
1539
+       help
1540
+         This option enables a printk variant called raw_printk() for
1541
+         writing all output unmodified to a raw console channel
1542
+         immediately, without any header or preparation whatsoever,
1543
+         usable from any context.
1544
+
1545
+	 Unlike early_printk() console devices, raw_printk() devices
1546
+         can live past the boot sequence.
1535
1547
 
1536
1548
 config BUG
1537
1549
 	bool "BUG() support" if EXPERT
..
..
@@ -2449,3 +2461,52 @@
2449
2461
 if !ROCKCHIP_MINI_KERNEL
2450
2462
 source "init/Kconfig.gki"
2451
2463
 endif
2464
+menuconfig XENOMAI
2465
+	depends on X86_TSC || !X86
2466
+	bool "Xenomai/cobalt"
2467
+	select IPIPE if HAVE_IPIPE_SUPPORT
2468
+	select IPIPE_WANT_APIREV_2 if IPIPE
2469
+	select DOVETAIL if HAVE_DOVETAIL
2470
+	select DOVETAIL_LEGACY_SYSCALL_RANGE if HAVE_DOVETAIL
2471
+	default y
2472
+	help
2473
+	  Xenomai's Cobalt core is a real-time extension to the Linux
2474
+	  kernel, which exhibits very short interrupt and scheduling
2475
+	  latency, without affecting the regular kernel services.
2476
+
2477
+	  This option enables the set of extended kernel services
2478
+	  required to run the real-time applications in user-space,
2479
+	  over the Xenomai libraries.
2480
+
2481
+	  Please visit http://xenomai.org for more information.
2482
+
2483
+if XENOMAI
2484
+source "arch/arm64/xenomai/Kconfig"
2485
+endif
2486
+
2487
+if MIGRATION
2488
+comment "WARNING! Page migration (CONFIG_MIGRATION) may increase"
2489
+comment "latency."
2490
+endif
2491
+
2492
+if APM || CPU_FREQ || ACPI_PROCESSOR || INTEL_IDLE
2493
+comment "WARNING! At least one of APM, CPU frequency scaling, ACPI 'processor'"
2494
+comment "or CPU idle features is enabled. Any of these options may"
2495
+comment "cause troubles with Xenomai. You should disable them."
2496
+endif
2497
+
2498
+config XENO_VERSION_MAJOR
2499
+       int
2500
+       default 3
2501
+
2502
+config XENO_VERSION_MINOR
2503
+       int
2504
+       default 2
2505
+
2506
+config XENO_REVISION_LEVEL
2507
+       int
2508
+       default 4
2509
+
2510
+config XENO_VERSION_STRING
2511
+       string
2512
+       default "3.2.4"