summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2015-07-20 00:55:13 +0200
committerLudovic Courtès <ludo@gnu.org>2015-07-20 00:55:13 +0200
commitdcd9c2505c0230c13556e233dbe4d81604a4abbd (patch)
treedbe2d20fccb11ac74c0eb57aea61419891236e2d
parent94080a7263c2e8c8b6f9250cc83e74a7ae142f06 (diff)
system: Default to Linux-libre 4.0.
* gnu/system.scm (<operating-system>)[kernel]: Change default to LINUX-LIBRE-4.0.
-rw-r--r--gnu/system.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/system.scm b/gnu/system.scm
index cf9ee123c74..e3fddcf1f6d 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -103,7 +103,7 @@
103 make-operating-system 103 make-operating-system
104 operating-system? 104 operating-system?
105 (kernel operating-system-kernel ; package 105 (kernel operating-system-kernel ; package
106 (default linux-libre)) 106 (default linux-libre-4.0))
107 (kernel-arguments operating-system-kernel-arguments 107 (kernel-arguments operating-system-kernel-arguments
108 (default '())) ; list of gexps/strings 108 (default '())) ; list of gexps/strings
109 (bootloader operating-system-bootloader) ; <grub-configuration> 109 (bootloader operating-system-bootloader) ; <grub-configuration>