From 77e95bfcf7045ef2386d1ad1e775f47f472f7cd1 Mon Sep 17 00:00:00 2001
From: Craige McWhirter <craige@mcwhirter.io>
Date: Wed, 16 Oct 2019 10:32:53 +1000
Subject: [PATCH] Enabled headless booting

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

diff --git a/Hardware/raspberry_pi_3_model_B.nix b/Hardware/raspberry_pi_3_model_B.nix
index f9628a4..ffb3d08 100644
--- a/Hardware/raspberry_pi_3_model_B.nix
+++ b/Hardware/raspberry_pi_3_model_B.nix
@@ -24,7 +24,8 @@
         enable = true;
         version = 3;
         firmwareConfig = [
-          "arm_64bit=1"
+          "arm_64bit=1"            # Force kernel loading system to assume a 64-bit kernel
+          "hdmi_force_hotplug=1"   # Enable headless booting
         ];
       };
     };