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

diff --git a/kernel/drivers/Makefile b/kernel/drivers/Makefile
index 21cb556..bb031d3 100644
--- a/kernel/drivers/Makefile
+++ b/kernel/drivers/Makefile
@@ -193,3 +193,5 @@
 obj-$(CONFIG_RK_HEADSET)	+= headset_observe/
 obj-$(CONFIG_RK_NAND)		+= rk_nand/
 obj-$(CONFIG_ROCKCHIP_RKNPU)	+= rknpu/
+
+obj-$(CONFIG_XENOMAI) += xenomai/

--
Gitblit v1.6.2