add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/xen/Kconfig
..
..
@@ -5,7 +5,7 @@
5
5
 
6
6
 config XEN
7
7
 	bool "Xen guest support"
8
-	depends on PARAVIRT
8
+	depends on PARAVIRT && !IRQ_PIPELINE
9
9
 	select PARAVIRT_CLOCK
10
10
 	select X86_HV_CALLBACK_VECTOR
11
11
 	depends on X86_64 || (X86_32 && X86_PAE)