diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-07-20 00:55:13 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-07-20 00:55:13 +0200 |
| commit | dcd9c2505c0230c13556e233dbe4d81604a4abbd (patch) | |
| tree | dbe2d20fccb11ac74c0eb57aea61419891236e2d | |
| parent | 94080a7263c2e8c8b6f9250cc83e74a7ae142f06 (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.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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 @@ 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> |