hc
2024-11-01 7e970c18f85f99acc678d90128b6e01dce1bf273
kernel/arch/arm64/Makefile
....@@ -219,3 +219,6 @@
219219
220220 CLEAN_DIRS += out
221221 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/