From 8bb9cb62704a79e30623b73f3577f82ca8ecdc58 Mon Sep 17 00:00:00 2001
From: Craige McWhirter <craige@mcwhirter.io>
Date: Wed, 16 Oct 2019 11:43:31 +1000
Subject: [PATCH] Enabled uboot and added raspberrypi-tool

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

diff --git a/Hardware/raspberry_pi_3_model_B.nix b/Hardware/raspberry_pi_3_model_B.nix
index ffb3d08..eb19e08 100644
--- a/Hardware/raspberry_pi_3_model_B.nix
+++ b/Hardware/raspberry_pi_3_model_B.nix
@@ -23,6 +23,7 @@
       raspberryPi = {
         enable = true;
         version = 3;
+        uboot.enable = true;
         firmwareConfig = [
           "arm_64bit=1"            # Force kernel loading system to assume a 64-bit kernel
           "hdmi_force_hotplug=1"   # Enable headless booting
@@ -46,4 +47,8 @@
     enableRedistributableFirmware = true;   # Enable support for Pi firmware blobs
   };
 
+  environment.systemPackages = with pkgs; [
+    raspberrypi-tools   # Userland tools for the Raspberry Pi board
+  ];
+
 }