system: Default to Linux-libre 4.0.

* gnu/system.scm (<operating-system>)[kernel]: Change default to
  LINUX-LIBRE-4.0.
master
Ludovic Courtès 2015-07-20 00:55:13 +02:00
parent 94080a7263
commit dcd9c2505c
1 changed files with 1 additions and 1 deletions

View File

@ -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>