[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
05/05: system: Default to Linux-libre 4.0.
From: |
Ludovic Courtès |
Subject: |
05/05: system: Default to Linux-libre 4.0. |
Date: |
Sun, 19 Jul 2015 23:26:30 +0000 |
civodul pushed a commit to branch master
in repository guix.
commit dcd9c2505c0230c13556e233dbe4d81604a4abbd
Author: Ludovic Courtès <address@hidden>
Date: Mon Jul 20 00:55:13 2015 +0200
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 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/gnu/system.scm b/gnu/system.scm
index cf9ee12..e3fddcf 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -103,7 +103,7 @@
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>