diff options
-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 284dbe2c4e..ea6e9c13ea 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-4.0)) + (default linux-libre)) (kernel-arguments operating-system-kernel-arguments (default '())) ; list of gexps/strings (bootloader operating-system-bootloader) ; <grub-configuration> |