Regenerating debian files.

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

1 files changed, 12 insertions, 0 deletions

diff --git a/debian/linux-image-6.7.12-progress7.99-rt-armmp-dbg.lintian-overrides b/debian/linux-image-6.7.12-progress7.99-rt-armmp-dbg.lintian-overrides
new file mode 100644
index 0000000000..f75ad5e4b6
--- /dev/null
+++ b/debian/linux-image-6.7.12-progress7.99-rt-armmp-dbg.lintian-overrides
@@ -0,0 +1,12 @@
+# Kernel dbg packages contain a full image with debug data
+linux-image-6.7.12-progress7.99-rt-armmp-dbg: dbg-package-missing-depends
+
+# glibc doesn't seem to check for a PT_GNU_STACK section in vDSOs, so
+# it's OK that they don't have it
+linux-image-6.7.12-progress7.99-rt-armmp-dbg: shared-library-lacks-stack-section *usr/lib/debug/lib/modules/6.7.12-progress7.99-rt-armmp/vdso/vdso.so*
+
+# It is intended that 64-bit kernels provide vDSOs for 32-bit executables.
+# lintian currently allows i386 executables on amd64.
+
+# Some 32-bit architectures need 64-bit kernels and we still build
+# these as the "wrong" architecture rather than mandating multiarch.