gpio config

hc

2024-11-01 830ce1f69238136c0197858242f16cf44e0d6cb9

 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/