From mboxrd@z Thu Jan  1 00:00:00 1970
From: Mark H Weaver <mhw@netris.org>
Subject: Re: [PATCHES] gnu: linux-libre: Full retpoline support on x86
	[spectre mitigation]
Date: Sat, 27 Jan 2018 15:01:54 -0500
Message-ID: <87d11vqde5.fsf@netris.org>
References: <87po648e2n.fsf@netris.org> <87o9lf2u5t.fsf@gnu.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:53562)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <mhw@netris.org>) id 1efWgL-0008BT-8m
	for guix-devel@gnu.org; Sat, 27 Jan 2018 15:02:34 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <mhw@netris.org>) id 1efWgI-0005fK-5g
	for guix-devel@gnu.org; Sat, 27 Jan 2018 15:02:33 -0500
In-Reply-To: <87o9lf2u5t.fsf@gnu.org> ("Ludovic
	\=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\=
	\=\?utf-8\?Q\?s\?\= message of "Sat, 27 Jan 2018 16:33:34 +0100")
List-Id: "Development of GNU Guix and the GNU System distribution."
	<guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-devel/>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
Sender: "Guix-devel" <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
To: Ludovic =?utf-8?Q?Court=C3=A8s?= <ludo@gnu.org>
Cc: guix-devel@gnu.org

ludo@gnu.org (Ludovic Court=C3=A8s) writes:

> Mark H Weaver <mhw@netris.org> skribis:
>
>> Here are two patches that:
>>
>> * Add gcc-7.3.0-RC-20180117, which includes support for retpoline.
>> * Use gcc-7.3 to build linux-libre on x86 systems.
>
> With GCC 7.3.0 now out, I think you can go ahead.
>
>> From 387a02c3f9e157bdf40b2b5ad0e53e5b209f3aa5 Mon Sep 17 00:00:00 2001
>> From: Mark H Weaver <mhw@netris.org>
>> Date: Sat, 20 Jan 2018 15:15:19 -0500
>> Subject: [PATCH 1/2] gnu: gcc: Add gcc 7.3.0-RC-20180117 [includes retpo=
line
>>  support].
>>
>> * gnu/packages/gcc.scm (gcc-7.3): New variable.
>
> I think we can upgrade =E2=80=98gcc-7=E2=80=99 directly instead of introd=
ucing a new
> =E2=80=98gcc-7.3=E2=80=99 variable.  Thoughts?

Agreed.

>> --- a/gnu/packages/linux.scm
>> +++ b/gnu/packages/linux.scm
>> @@ -283,6 +283,12 @@ for ARCH and optionally VARIANT, or #f if there is =
no such configuration."
>>         ("bc" ,bc)
>>         ("openssl" ,openssl)
>>         ("kmod" ,kmod)
>> +       ,@(match (system->linux-architecture
>> +                 (or (%current-target-system) (%current-system)))
>> +           ((or "x86_64" "i386")
>> +            `(("gcc" ,gcc-7.3)))
>
> Perhaps add a comment that this is for the retpoline mitigation.

Agreed.  I pushed these changes on Thursday.  Fortunately, I had already
done the things you suggested here.

      Thanks!
        Mark