add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/arm64/Makefile
..
..
@@ -219,3 +219,6 @@
219
219
 
220
220
 CLEAN_DIRS += out
221
221
 CLEAN_FILES += boot.img kernel.img resource.img zboot.img
222
+
223
+KBUILD_CFLAGS += -I$(srctree)/arch/$(SRCARCH)/xenomai/include -I$(srctree)/arch/$(SRCARCH)/xenomai/dovetail/include -I$(srctree)/include/xenomai
224
+core-$(CONFIG_XENOMAI) += arch/arm64/xenomai/dovetail/