Merge branch 'master' into core-updates

This commit is contained in:
Leo Famulari 2016-10-26 18:59:28 -04:00
commit 02c73adcdf
No known key found for this signature in database
GPG key ID: 2646FA30BACA7F08
44 changed files with 2442 additions and 1045 deletions

View file

@ -335,13 +335,10 @@ It has been modified to remove all non-free binary blobs.")
#:configuration-file kernel-config))
(define-public linux-libre-4.1
(make-linux-libre "4.1.34"
"0dajsb363p9lgga22ml8gp9k9lxd8mvrzxk9y3h9c6hpzfcmqdqr"
(make-linux-libre "4.1.35"
"05zvrld1digqwf9kqf5pxx0mxqmwpr5kamhnks6y4yfy7x7jynyk"
%intel-compatible-systems
#:configuration-file kernel-config
#:patches (list %boot-logo-patch
(search-patch
"linux-libre-4.1-CVE-2016-5195.patch"))))
#:configuration-file kernel-config))
;; Avoid rebuilding kernel variants when there is a minor version bump.
(define %linux-libre-version "4.8.4")