gnu: linux-libre-headers: Update to 6.12.17.

* gnu/packages/linux.scm (linux-libre-headers-5.15.49):
Update to 6.12.17 and rename to linux-libre-headers-6.12.17.
(linux-libre-headers-5.19.17): Remove it.
* gnu/packages/cross-base.scm (cross-kernel-headers/deprecated): Remove
loongarch64 case.
(cross-kernel-headers*): Remove loongarch64 case.
* gnu/packages/make-bootstrap.scm (%glibc-stripped): Remove loongarch64 case.
* gnu/packages/commencement.scm (linux-libre-headers-boot0)[arguments]: Adjust
lower-version-requirements phase.

Change-Id: I56a5f6173379f0c4ec305e7db86cccd940e62304
This commit is contained in:
Zheng Junjie 2025-03-03 00:02:32 +08:00 committed by Andreas Enge
parent 891942f2c5
commit 93d9cd7c22
No known key found for this signature in database
GPG key ID: F7D5C9BF765C61E3
4 changed files with 7 additions and 18 deletions

View file

@ -839,16 +839,11 @@ corresponding UPSTREAM-SOURCE (an origin), using the given DEBLOB-SCRIPTS."
;; The following package is used in the early bootstrap, and thus must be kept
;; stable and with minimal build requirements.
(define-public linux-libre-headers-5.15.49
(make-linux-libre-headers "5.15.49" "gnu"
"13zqdcm4664vh7g57sxbfrlpsxm7zrma72mxdfdz7d9yndy2gfv8"))
(define-public linux-libre-headers-6.12.17
(make-linux-libre-headers "6.12.17" "gnu"
"1j3iyivh8h9abryjqksf4k51wgwnwqy2l3zsc019bm84xmka38xm"))
;; linux 5.19 include loongarch support.
(define-public linux-libre-headers-5.19.17
(make-linux-libre-headers "5.19.17" "gnu"
"0m1yabfvaanbzv0ip04r4kvs16aq0pp2dk93xzi5cq18i3vw351m"))
(define-public linux-libre-headers linux-libre-headers-5.15.49)
(define-public linux-libre-headers linux-libre-headers-6.12.17)
;; linux-libre-headers-latest points to the latest headers package
;; and should be used as a dependency for packages that depend on
;; the headers.