From cfbe7b7f4ccdb61534b47d91fe8e43db2ee1737d Mon Sep 17 00:00:00 2001 From: Mathieu Othacehe Date: Tue, 7 Nov 2017 18:01:37 +0100 Subject: gnu: linux: Add linux-libre arm kernel. * Makefile.am (AUX_FILES): Add arm config file. * gnu/packages/aux-files/linux-libre/4.13-arm.conf: New file. * gnu/packages/linux.scm (%intel-compatible-systems): Rename to %linux-compatible-systems and add "armhf-linux". (linux-libre): Adapt consequently. The config file for arm is taken from debian armmp kernel. It's a generic firmware for ARMv7 multiplatform compatible SoCs. --- gnu/packages/linux.scm | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'gnu/packages/linux.scm') diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index ce7c220e0b..441063343f 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -366,15 +366,19 @@ for ARCH and optionally VARIANT, or #f if there is no such configuration." It has been modified to remove all non-free binary blobs.") (license license:gpl2))) -(define %intel-compatible-systems '("x86_64-linux" "i686-linux")) +(define %linux-compatible-systems '("x86_64-linux" "i686-linux" "armhf-linux")) (define %linux-libre-version "4.13.11") (define %linux-libre-hash "1x2q80s27qcp3skjhqb36xhhcnrjgsq49g7l1ggc3rb3f9cshm59") +;; linux-libre configuration for armhf-linux is derived from Debian armmp. It +;; supports qemu "virt" machine and possibly a large number of ARM boards. +;; See : https://wiki.debian.org/DebianKernel/ARMMP. + (define-public linux-libre (make-linux-libre %linux-libre-version %linux-libre-hash - %intel-compatible-systems + %linux-compatible-systems #:configuration-file kernel-config)) (define-public linux-libre-4.9 -- cgit v1.2.3