add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/Makefile
..
..
@@ -193,3 +193,5 @@
193
193
 obj-$(CONFIG_RK_HEADSET)	+= headset_observe/
194
194
 obj-$(CONFIG_RK_NAND)		+= rk_nand/
195
195
 obj-$(CONFIG_ROCKCHIP_RKNPU)	+= rknpu/
196
+
197
+obj-$(CONFIG_XENOMAI) += xenomai/