system: Default to newest linux-libre.

* gnu/system.scm (<operating-system>)[kernel]: Change default to
  LINUX-LIBRE.
master
Mark H Weaver 2015-08-04 10:38:06 -04:00
parent ef872381ce
commit 57082417f3
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-4.0))
(default linux-libre))
(kernel-arguments operating-system-kernel-arguments
(default '())) ; list of gexps/strings
(bootloader operating-system-bootloader) ; <grub-configuration>