gnu: linux: Add linux-debian.

* gnu/packages/linux.scm (linux-debian-patches): New variable.
(linux-debian-6.12-version): New variable.
(debian-patches-6.12): New variable.
(linux-debian-6.12-pristine-source): New variable.
(linux-debian-6.12-source): New variable.
(default-linux-debian-initrd-modules): New variable.
(make-linux-debian*): New variable.
(linux-debian-6.12): New variable.
(linux-debian): New variable.
* gnu/tests/base.scm (%test-linux-debian-6.12): New test.

1 files changed, 4 insertions, 0 deletions

diff --git a/gnu/tests/base.scm b/gnu/tests/base.scm
index 0476400a4b9..4546703b20e 100644
--- a/gnu/tests/base.scm
+++ b/gnu/tests/base.scm
@@ -58,6 +58,7 @@
             %test-linux-libre-6.12
             %test-linux-libre-6.6
             %test-linux-libre-6.1
+            %test-linux-debian-6.12
             %test-halt
             %test-root-unmount
             %test-cleanup
@@ -677,6 +678,9 @@ test \"$BASHRC_D_OK\" = yes"))
 (define %test-linux-libre-6.1
   (test-basic-os linux-libre-6.1))
 
+(define %test-linux-debian-6.12
+  (test-basic-os linux-debian-6.12))
+
 
 ;;;
 ;;; Halt.