GNU bug report logs - #29195
[PATCH] gnu: linux: Add linux-libre arm kernel.

Previous Next

Package: guix-patches;

Reported by: Mathieu Othacehe <m.othacehe <at> gmail.com>

Date: Tue, 7 Nov 2017 17:07:01 UTC

Severity: normal

Tags: patch

Done: Mathieu Othacehe <m.othacehe <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: ludo <at> gnu.org (Ludovic Courtès)
To: Mathieu Othacehe <m.othacehe <at> gmail.com>
Cc: 29195 <at> debbugs.gnu.org
Subject: [bug#29195] [PATCH] gnu: linux: Add linux-libre arm kernel.
Date: Thu, 09 Nov 2017 16:26:17 +0100

Howdy,

Mathieu Othacehe <m.othacehe <at> gmail.com> 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’.
This bug report was last modified 7 years and 198 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.