From a6d87fb825537b1238fd5e6bee86bb6e7c688fad Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrian=20Schr=C3=B6ter?= Date: Wed, 24 May 2023 14:46:56 +0200 Subject: [PATCH] update to current state --- kernel-rt | 1 + kernel-rt_debug | 1 + 2 files changed, 2 insertions(+) create mode 120000 kernel-rt create mode 120000 kernel-rt_debug diff --git a/kernel-rt b/kernel-rt new file mode 120000 index 0000000..7881713 --- /dev/null +++ b/kernel-rt @@ -0,0 +1 @@ +kernel-source-rt \ No newline at end of file diff --git a/kernel-rt_debug b/kernel-rt_debug new file mode 120000 index 0000000..7881713 --- /dev/null +++ b/kernel-rt_debug @@ -0,0 +1 @@ +kernel-source-rt \ No newline at end of file