Adding debian version 6.7.12-1.debian/6.7.12-1

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 21 insertions, 0 deletions

diff --git a/debian/generated.signed-arm64/linux-image-6.7.12-rt-arm64.preinst b/debian/generated.signed-arm64/linux-image-6.7.12-rt-arm64.preinst
new file mode 100644
index 000000000..526b73f3b
--- /dev/null
+++ b/debian/generated.signed-arm64/linux-image-6.7.12-rt-arm64.preinst
@@ -0,0 +1,21 @@
+#!/bin/sh -e
+
+version=6.7.12-rt-arm64
+image_path=/boot/vmlinuz-$version
+
+if [ "$1" = abort-upgrade ]; then
+    exit 0
+fi
+
+if [ "$1" = install ]; then
+    # Create a flag file for postinst
+    mkdir -p /lib/modules/$version
+    touch /lib/modules/$version/.fresh-install
+fi
+
+if [ -d /etc/kernel/preinst.d ]; then
+    DEB_MAINT_PARAMS="$*" run-parts --report --exit-on-error --arg=$version \
+	      --arg=$image_path /etc/kernel/preinst.d
+fi
+
+exit 0