ci: (Cross-)build the architecture-specific Linux-libre packages.

* gnu/ci.scm (core-packages): In ‘target-linux?’ case, add the
linux-libre-*-generic architecture-specific kernel packages.

Change-Id: Ie9579b5b77160e57e563542a03fdd6e563fcc193
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Merges: #8776

1 files changed, 10 insertions, 1 deletions

diff --git a/gnu/ci.scm b/gnu/ci.scm
index 093beac4cf6..a55dfc2a5f3 100644
--- a/gnu/ci.scm
+++ b/gnu/ci.scm
@@ -173,7 +173,16 @@ SYSTEM."
 (define (core-packages system)
   "Return the 'core' package set suitable for SYSTEM, which might be a system
 type or a GNU triplet."
-  (cond ((target-linux? system) (append %core-packages %linux-packages))
+  (cond ((target-linux? system)
+         (append %core-packages
+                 %linux-packages
+                 (cond ((target-arm32? system)
+                        (list linux-libre-arm-generic))
+                       ((target-aarch64? system)
+                        (list linux-libre-arm64-generic))
+                       ((target-riscv64? system)
+                        (list linux-libre-riscv64-generic))
+                       (else '()))))
         ((target-hurd? system) (append %core-packages %hurd-packages))
         ((target-mingw? system) %core-packages-for-mingw)
         (else '())))