From 2f529f9b558ca1c1bd74be7437a84e4711743404 Mon Sep 17 00:00:00 2001
From: hc <hc@nodka.com>
Date: Fri, 01 Nov 2024 02:11:33 +0000
Subject: [PATCH] add xenomai

---
 kernel/arch/arm64/Makefile |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/kernel/arch/arm64/Makefile b/kernel/arch/arm64/Makefile
index b3a57c5..c77b376 100644
--- a/kernel/arch/arm64/Makefile
+++ b/kernel/arch/arm64/Makefile
@@ -219,3 +219,6 @@
 
 CLEAN_DIRS += out
 CLEAN_FILES += boot.img kernel.img resource.img zboot.img
+
+KBUILD_CFLAGS += -I$(srctree)/arch/$(SRCARCH)/xenomai/include -I$(srctree)/arch/$(SRCARCH)/xenomai/dovetail/include -I$(srctree)/include/xenomai
+core-$(CONFIG_XENOMAI) += arch/arm64/xenomai/dovetail/

--
Gitblit v1.6.2