gnu: linux-libre: Add retpoline support on x86 [mitigates spectre].

* gnu/packages/linux.scm (make-linux-libre): On x86 systems, build
with GCC-7.
This commit is contained in:
Mark H Weaver 2018-01-25 14:13:57 -05:00
parent f888d5bb8f
commit dbe64d1029
No known key found for this signature in database
GPG key ID: 7CEF29847562C516

View file

@ -283,6 +283,14 @@ (define* (make-linux-libre version hash supported-systems
("bc" ,bc)
("openssl" ,openssl)
("kmod" ,kmod)
;; On x86, build with GCC-7 for full retpoline support.
;; FIXME: Remove this when our default compiler has retpoline support.
,@(match (system->linux-architecture
(or (%current-target-system) (%current-system)))
((or "x86_64" "i386")
`(("gcc" ,gcc-7)))
(_
'()))
,@(match (and configuration-file
(configuration-file
(system->linux-architecture