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 + ]; + }