add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/Kconfig
..
..
@@ -229,6 +229,9 @@
229
229
 config HAVE_NMI
230
230
 	bool
231
231
 
232
+config HAVE_PERCPU_PREEMPT_COUNT
233
+	bool
234
+
232
235
 #
233
236
 # An arch should select this if it provides all these things:
234
237
 #