gnu: linux: Add linux-libre arm kernel.
authorMathieu Othacehe <m.othacehe@gmail.com>
Tue, 7 Nov 2017 17:01:37 +0000 (18:01 +0100)
committerMathieu Othacehe <m.othacehe@gmail.com>
Thu, 9 Nov 2017 19:35:11 +0000 (20:35 +0100)
commitcfbe7b7f4ccdb61534b47d91fe8e43db2ee1737d
tree7a792833e8bed373af77888607767df6b98f4580
parent3694a9b33be5c977567ede2d8e23a8159bdb344c
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.
Makefile.am
gnu/packages/aux-files/linux-libre/4.13-arm.conf [new file with mode: 0644]
gnu/packages/linux.scm