diff --git a/Hardware/raspberry_pi_3_model_B.nix b/Hardware/raspberry_pi_3_model_B.nix
index fdf7d69..557c546 100644
--- a/Hardware/raspberry_pi_3_model_B.nix
+++ b/Hardware/raspberry_pi_3_model_B.nix
@@ -12,7 +12,10 @@
       ];
     };
     kernelPackages = pkgs.linuxPackages_latest;   # For a Raspberry Pi 2 or 3)
-    kernelParams = ["cma=32M"];                   # Needed for the virtual console to work on the RPi 3
+    kernelParams = [
+      "cma=32M"i                 # Needed for the virtual console to work on the RPi 3
+      "console=ttyS1,115200n8"   # Enable the serial console
+    ];
     loader = {
       generic-extlinux-compatible = {
         enable = true;    # Enables the generation of /boot/extlinux/extlinux.conf