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

diff --git a/kernel/arch/Kconfig b/kernel/arch/Kconfig
index c3a40c5..42eb62f 100644
--- a/kernel/arch/Kconfig
+++ b/kernel/arch/Kconfig
@@ -229,6 +229,9 @@
 config HAVE_NMI
 	bool
 
+config HAVE_PERCPU_PREEMPT_COUNT
+	bool
+
 #
 # An arch should select this if it provides all these things:
 #

--
Gitblit v1.6.2