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

Previous Next

Full log

View this message in rfc822 format

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

Hi!

ludo <at> gnu.org (Ludovic Courtès) writes:

>> 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?

%linux-compatible-systems is also used as the 'supported-systems' field
of linux-libre-4.14, but there's no '4.14-arm64.conf' file added here.
We should either add that file, or else somehow arrange for
'aarch64-linux' to be omitted from linux-libre-4.14's
'supported-systems' field.

As Ludovic mentioned, the new .conf file needs to be added to
gnu/local.mk.

Otherwise, it looks good to me.

     Thank you!
        Mark

Previous Next

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