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/kernel/Makefile |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/kernel/kernel/Makefile b/kernel/kernel/Makefile
index 6ee614d..cafe18f 100644
--- a/kernel/kernel/Makefile
+++ b/kernel/kernel/Makefile
@@ -106,6 +106,7 @@
 obj-$(CONFIG_RING_BUFFER) += trace/
 obj-$(CONFIG_TRACEPOINTS) += trace/
 obj-$(CONFIG_IRQ_WORK) += irq_work.o
+obj-$(CONFIG_DOVETAIL) += dovetail.o
 obj-$(CONFIG_CPU_PM) += cpu_pm.o
 obj-$(CONFIG_BPF) += bpf/
 obj-$(CONFIG_KCSAN) += kcsan/
@@ -155,3 +156,5 @@
 	$(call cmd,genikh)
 
 clean-files := kheaders_data.tar.xz kheaders.md5
+
+obj-$(CONFIG_XENOMAI) += xenomai/

--
Gitblit v1.6.2