2 files changed, 9 insertions, 0 deletions
diff --git a/debian/config/arm64/rt/config b/debian/config/arm64/rt/config
new file mode 100644
index 0000000000..bd5e81c512
--- /dev/null
+++ b/debian/config/arm64/rt/config
@@ -0,0 +1,6 @@
+##
+## file: arch/arm64/kvm/Kconfig
+##
+#. ARCH_SUPPORTS_RT depends on HAVE_POSIX_CPU_TIMERS_TASK_WORK
+#. HAVE_POSIX_CPU_TIMERS_TASK_WORK depneds on !KVM
+# CONFIG_KVM is not set
diff --git a/debian/config/arm64/rt/defines b/debian/config/arm64/rt/defines
new file mode 100644
index 0000000000..fdea40cbca
--- /dev/null
+++ b/debian/config/arm64/rt/defines
@@ -0,0 +1,3 @@
+[base]
+flavours:
+ arm64