From dcd9c2505c0230c13556e233dbe4d81604a4abbd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Mon, 20 Jul 2015 00:55:13 +0200
Subject: [PATCH] system: Default to Linux-libre 4.0.

* gnu/system.scm (<operating-system>)[kernel]: Change default to
  LINUX-LIBRE-4.0.
---
 gnu/system.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/system.scm b/gnu/system.scm
index cf9ee123c7..e3fddcf1f6 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -103,7 +103,7 @@ (define-record-type* <operating-system> operating-system
   make-operating-system
   operating-system?
   (kernel operating-system-kernel                 ; package
-          (default linux-libre))
+          (default linux-libre-4.0))
   (kernel-arguments operating-system-kernel-arguments
                     (default '()))                ; list of gexps/strings
   (bootloader operating-system-bootloader)        ; <grub-configuration>