[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#29195] [PATCH] gnu: linux: Add linux-libre arm kernel.
From: |
Ludovic Courtès |
Subject: |
[bug#29195] [PATCH] gnu: linux: Add linux-libre arm kernel. |
Date: |
Thu, 09 Nov 2017 16:26:17 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) |
Howdy,
Mathieu Othacehe <address@hidden> 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’.