Subject: [bug#29195] [PATCH] gnu: linux: Add linux-libre arm kernel.

From: [email-masked] (Ludovic Courtès)
Date: Thu, 09 Nov 2017 16:26:17 +0100

Howdy,

Mathieu Othacehe <[email-masked]> skribis:

> * 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.

LGTM!

Were you able to boot it on real hardware?  Perhaps we should add a
comment stating on which SoCs it’s known to work.

Thanks,
Ludo’.