diff --git a/include/villas/kernel/kernel.h b/include/villas/kernel/kernel.h
index b8bf1351d..f5bfeb442 100644
--- a/include/villas/kernel/kernel.h
+++ b/include/villas/kernel/kernel.h
@@ -20,15 +20,6 @@
  */
 //int kernel_check_cap(cap_value_t cap):
 
-/** Checks for realtime (PREEMPT_RT) patched kernel.
- *
- * See https://rt.wiki.kernel.org
- *
- * @retval 0 Kernel is patched.
- * @reval <>0 Kernel is not patched.
- */
-int kernel_is_rt();
-
 /** Get kernel cmdline parameter
  *
  * See https://www.kernel.org/doc/Documentation/kernel-parameters.txt
diff --git a/include/villas/kernel/rt.h b/include/villas/kernel/rt.h
index c4b5cd2bf..b6310ea55 100644
--- a/include/villas/kernel/rt.h
+++ b/include/villas/kernel/rt.h
@@ -11,3 +11,12 @@
 
 int rt_init(int affinity, int priority);
 
+
+/** Checks for realtime (PREEMPT_RT) patched kernel.
+ *
+ * See https://rt.wiki.kernel.org
+ *
+ * @retval 0 Kernel is patched.
+ * @reval <>0 Kernel is not patched.
+ */
+int rt_is_preemptible();
\ No newline at end of file
diff --git a/lib/kernel/kernel.c b/lib/kernel/kernel.c
index b2c9b94cc..1e4cced6a 100644
--- a/lib/kernel/kernel.c
+++ b/lib/kernel/kernel.c
@@ -104,11 +104,6 @@ int kernel_has_version(int maj, int min)
 	return version_cmp(&current, &required) < 0;
 }
 
-int kernel_is_rt()
-{
-	return access(SYSFS_PATH "/kernel/realtime", R_OK);
-}
-
 int kernel_get_cmdline_param(const char *param, char *buf, size_t len)
 {
 	int ret;
diff --git a/lib/kernel/rt.c b/lib/kernel/rt.c
index fa06a11c1..e5202dba7 100644
--- a/lib/kernel/rt.c
+++ b/lib/kernel/rt.c
@@ -18,7 +18,7 @@ int rt_init(int affinity, int priority)
 	int is_isol, is_rt, ret;
 
 	/* Use FIFO scheduler with real time priority */
-	is_rt = kernel_is_rt();
+	is_rt = rt_is_preemptible();
 	if (is_rt)
 		warn("We recommend to use an PREEMPT_RT patched kernel!");
 
@@ -75,4 +75,9 @@ int rt_init(int affinity, int priority)
 		warn("You should use the 'affinity' setting to pin VILLASnode to dedicate CPU cores");
 
 	return 0;
+}
+
+int rt_is_preemptible()
+{
+	return access(SYSFS_PATH "/kernel/realtime", R_OK);
 }
\ No newline at end of file