gnu: Add linux-libre-6.12.

* gnu/packages/linux.scm (linux-libre-6.12-version,
linux-libre-6.12-gnu-revision, deblob-scripts-6.12,
linux-libre-6.12-pristine-source, linux-libre-6.12-source,
linux-libre-headers-6.12, linux-libre-6.12): New variables.
(linux-libre-headers-latest): Use linux-libre-headers-6.12.
(linux-libre-lts-version, linux-libre-lts-gnu-revision,
linux-libre-lts-pristine-source, linux-libre-lts-source, linux-libre-lts): Use
linux-libre 6.12.
* gnu/tests/base.scm (%test-linux-libre-6.12): New test.
* gnu/packages/aux-files/linux-libre/6.12-arm.conf,
gnu/packages/aux-files/linux-libre/6.12-arm64.conf,
gnu/packages/aux-files/linux-libre/6.12-i686.conf,
gnu/packages/aux-files/linux-libre/6.12-x86_64.conf,
gnu/packages/aux-files/linux-libre/6.12-riscv.conf: New files.
* Makefile.am (AUX_FILES): Add them.

Change-Id: I430d9dd29cda4bd4b66ad6eddc004935f93bb111

1 files changed, 39 insertions, 6 deletions

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index c0c6435c5db..a9116c8649c 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -514,6 +514,21 @@ corresponding UPSTREAM-SOURCE (an origin), using the given DEBLOB-SCRIPTS."
 ;; The current "stable" kernels. That is, the most recently released major
 ;; versions that are still supported upstream.
 
+(define-public linux-libre-6.12-version "6.12.8")
+(define-public linux-libre-6.12-gnu-revision "gnu")
+(define deblob-scripts-6.12
+  (linux-libre-deblob-scripts
+   linux-libre-6.12-version
+   linux-libre-6.12-gnu-revision
+   (base32 "0i24k4zc6x5lvif12ba53c6cd5ydiah9j32ly2wpl88424ld389h")
+   (base32 "0jwnb1pd8ayfkck3sw3jjlsg7gayig0ymiay53mg7qchhycih8xs")))
+(define-public linux-libre-6.12-pristine-source
+  (let ((version linux-libre-6.12-version)
+        (hash (base32 "0y992b484rkkaqdkz5mw2is1l0izxhm3cl7fi5f72jx0bh3dm492")))
+   (make-linux-libre-source version
+                            (%upstream-linux-source version hash)
+                            deblob-scripts-6.12)))
+
 (define-public linux-libre-6.11-version "6.11.11")
 (define-public linux-libre-6.11-gnu-revision "gnu")
 (define deblob-scripts-6.11
@@ -636,6 +651,11 @@ corresponding UPSTREAM-SOURCE (an origin), using the given DEBLOB-SCRIPTS."
     (patches (append (origin-patches source)
                      patches))))
 
+(define-public linux-libre-6.12-source
+  (source-with-patches linux-libre-6.12-pristine-source
+                       (list %boot-logo-patch
+                             %linux-libre-arm-export-__sync_icache_dcache-patch)))
+
 (define-public linux-libre-6.11-source
   (source-with-patches linux-libre-6.11-pristine-source
                        (list %boot-logo-patch
@@ -757,6 +777,11 @@ corresponding UPSTREAM-SOURCE (an origin), using the given DEBLOB-SCRIPTS."
     (description "Headers of the Linux-Libre kernel.")
     (license license:gpl2)))
 
+(define-public linux-libre-headers-6.12
+  (make-linux-libre-headers* linux-libre-6.12-version
+                             linux-libre-6.12-gnu-revision
+                             linux-libre-6.12-source))
+
 (define-public linux-libre-headers-6.11
   (make-linux-libre-headers* linux-libre-6.11-version
                              linux-libre-6.11-gnu-revision
@@ -797,7 +822,7 @@ corresponding UPSTREAM-SOURCE (an origin), using the given DEBLOB-SCRIPTS."
 ;; linux-libre-headers-latest points to the latest headers package
 ;; and should be used as a dependency for packages that depend on
 ;; the headers.
-(define-public linux-libre-headers-latest linux-libre-headers-6.11)
+(define-public linux-libre-headers-latest linux-libre-headers-6.12)
 
 
 ;;;
@@ -1118,6 +1143,14 @@ Linux kernel.  It has been modified to remove all non-free binary blobs.")
 ;;; Generic kernel packages.
 ;;;
 
+(define-public linux-libre-6.12
+  (make-linux-libre* linux-libre-6.12-version
+                     linux-libre-6.12-gnu-revision
+                     linux-libre-6.12-source
+                     '("x86_64-linux" "i686-linux" "armhf-linux"
+                       "aarch64-linux" "powerpc64le-linux" "riscv64-linux")
+                     #:configuration-file kernel-config))
+
 (define-public linux-libre-6.11
   (make-linux-libre* linux-libre-6.11-version
                      linux-libre-6.11-gnu-revision
@@ -1176,11 +1209,11 @@ Linux kernel.  It has been modified to remove all non-free binary blobs.")
 ;; Linux-Libre.
 ;; Reference: <https://www.kernel.org/category/releases.html>
 
-(define-public linux-libre-lts-version         linux-libre-6.6-version)
-(define-public linux-libre-lts-gnu-revision    linux-libre-6.6-gnu-revision)
-(define-public linux-libre-lts-pristine-source linux-libre-6.6-pristine-source)
-(define-public linux-libre-lts-source          linux-libre-6.6-source)
-(define-public linux-libre-lts                 linux-libre-6.6)
+(define-public linux-libre-lts-version         linux-libre-6.12-version)
+(define-public linux-libre-lts-gnu-revision    linux-libre-6.12-gnu-revision)
+(define-public linux-libre-lts-pristine-source linux-libre-6.12-pristine-source)
+(define-public linux-libre-lts-source          linux-libre-6.12-source)
+(define-public linux-libre-lts                 linux-libre-6.12)
 
 
 ;;;