GNU bug report logs - #31447
[PATCH] linux-libre: Add aarch64-linux.

Previous Next

Full log

Message #8 received at 31447 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Vagrant Cascadian <vagrant <at> debian.org>, Mark H Weaver <mhw <at> netris.org>
Cc: 31447 <at> debbugs.gnu.org
Subject: Re: [bug#31447] [PATCH] linux-libre: Add aarch64-linux.
Date: Thu, 17 May 2018 10:53:47 +0200

Hi Vagrant,

(Cc’ing Mark who takes care of the kernel.)

Vagrant Cascadian <vagrant <at> debian.org> skribis:

> The attached patch adds support for aarch64-linux to linux-libre, based
> on the configuration provided in Debian's linux-image-4.16.0-1-arm64
> package.
>
> Tested booting on pine64+ running Debian; GuixSD possibly soon to
> follow...

Woohoo, nice!

> From b9e48a787b6b151b5c7df6036eb75752d3c4db24 Mon Sep 17 00:00:00 2001
> From: Vagrant Cascadian <vagrant <at> debian.org>
> Date: Mon, 14 May 2018 03:20:17 +0000
> Subject: [PATCH] gnu: linux-libre: Enable build for aarch64-linux.
>
> * gnu/packages/linux.scm (%linux-compatible-systems): Add aarch64-linux.
> * gnu/packages/aux-files/linux-libre/4.16-arm64.conf: New file.

I think we should add the .conf file to gnu/local.mk, but apart from
that it LGTM.

Mark, WDYT?

Thanks,
Ludo’.

Previous Next

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