diff options
Diffstat (limited to 'gnu/packages/linux.scm')
| -rw-r--r-- | gnu/packages/linux.scm | 8 |
1 files changed, 6 insertions, 2 deletions
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 |