From d78c7ffa76c3cd2252bd0753c73e88468755184d Mon Sep 17 00:00:00 2001 From: Mark H Weaver Date: Sat, 20 Jan 2018 15:16:20 -0500 Subject: [PATCH 2/2] gnu: linux-libre: Full retpoline support on x86 [mitigates spectre]. * gnu/packages/linux.scm (make-linux-libre): On x86 systems, build with gcc-7.3. --- gnu/packages/linux.scm | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index 13e08f265..2425fc709 100644 --- 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))) + (_ + '())) ,@(match (and configuration-file (configuration-file (system->linux-architecture -- 2.15.1