From 57082417f3de966c491a91eb41a86830f6046ab4 Mon Sep 17 00:00:00 2001
From: Mark H Weaver <mhw@netris.org>
Date: Tue, 4 Aug 2015 10:38:06 -0400
Subject: [PATCH] system: Default to newest linux-libre.
* gnu/system.scm (<operating-system>)[kernel]: Change default to
LINUX-LIBRE.
---
gnu/system.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/system.scm b/gnu/system.scm
index 284dbe2c4ed..ea6e9c13ea7 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-4.0))
+ (default linux-libre))
(kernel-arguments operating-system-kernel-arguments
(default '())) ; list of gexps/strings
(bootloader operating-system-bootloader) ; <grub-configuration>
--
GitLab