diff --git a/gnu/system/grub.scm b/gnu/system/grub.scm
index b18b8be6d..d94b1a266 100644
--- a/gnu/system/grub.scm
+++ b/gnu/system/grub.scm
@@ -197,7 +197,7 @@ system string---e.g., \"x86_64-linux\"."
     insmod efi_uga
   fi
 
-  terminal_output gfxterm
+  terminal_output console
 "
         ""))
 
diff --git a/gnu/system/install.scm b/gnu/system/install.scm
index 3ec343570..55020b147 100644
--- a/gnu/system/install.scm
+++ b/gnu/system/install.scm
@@ -275,6 +275,11 @@ You have been warned.  Thanks for being so brave.
                              (tty "tty1")
                              (auto-login "root")))
 
+          (agetty-service (agetty-configuration
+                            (extra "-i")
+                            (tty "ttyS0")
+                            (baud-rate "115200,38400,9600")))
+
           (login-service (login-configuration
                           (motd motd)))
 
@@ -340,6 +345,9 @@ Use Alt-F2 for documentation.
     (host-name "gnu")
     (timezone "Europe/Paris")
     (locale "en_US.utf8")
+    (kernel linux-libre-4.1)
+    (kernel-arguments
+     '("console=ttyS0,115200n8 gfxpayload=text earlyprintk=serial,ttyS0,115200"))
     (bootloader (grub-configuration
                  (device "/dev/sda")))
     (file-systems