From db48af496f182175f248931979bd548b8bfa9741 Mon Sep 17 00:00:00 2001
From: Craige McWhirter <craige@mcwhirter.io>
Date: Thu, 17 Oct 2019 13:52:29 +1000
Subject: [PATCH] Corrected firmwareConfig

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

diff --git a/Hardware/raspberry_pi_3_model_B.nix b/Hardware/raspberry_pi_3_model_B.nix
index 9f08bb9..2ad6221 100644
--- a/Hardware/raspberry_pi_3_model_B.nix
+++ b/Hardware/raspberry_pi_3_model_B.nix
@@ -27,10 +27,10 @@
         enable = true;
         version = 3;
         uboot.enable = true;
-        firmwareConfig = [
+        firmwareConfig = ''
           "arm_64bit=1"            # Force kernel loading system to assume a 64-bit kernel
           "hdmi_force_hotplug=1"   # Enable headless booting
-        ];
+        '';
       };
     };
   };