From cde6d13c144f38d7d4a33c2ffad9278049eac11e Mon Sep 17 00:00:00 2001
From: Craige McWhirter <craige@mcwhirter.io>
Date: Thu, 17 Oct 2019 11:50:37 +1000
Subject: [PATCH] Added serial console

---
 Hardware/raspberry_pi_3_model_B.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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