add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/Kconfig
..
..
@@ -29,6 +29,8 @@
29
29
 	select ARCH_SUPPORTS_SPECULATIVE_PAGE_FAULT
30
30
 	select ARCH_USE_CMPXCHG_LOCKREF
31
31
 	select HAVE_ARCH_SOFT_DIRTY
32
+	select HAVE_IRQ_PIPELINE
33
+	select HAVE_DOVETAIL
32
34
 	select MODULES_USE_ELF_RELA
33
35
 	select NEED_DMA_MAP_STATE
34
36
 	select SWIOTLB
..
..
@@ -208,6 +210,7 @@
208
210
 	select HAVE_MOVE_PMD
209
211
 	select HAVE_MOVE_PUD
210
212
 	select HAVE_NMI
213
+	select HAVE_PERCPU_PREEMPT_COUNT
211
214
 	select HAVE_OPROFILE
212
215
 	select HAVE_OPTPROBES
213
216
 	select HAVE_PCSPKR_PLATFORM
..
..
@@ -864,6 +867,7 @@
864
867
 
865
868
 endif #HYPERVISOR_GUEST
866
869
 
870
+source "kernel/Kconfig.dovetail"
867
871
 source "arch/x86/Kconfig.cpu"
868
872
 
869
873
 config HPET_TIMER