Pi firmware packages

hosts/pi/default.nix

@@ -13,6 +13,7 @@
       apply-overlays-dtmerge.enable = true;
       audio = false;
       fkms-3d.enable = true;
+      xhci.enable = true;
     };
     deviceTree = {
       enable = true;
@@ -21,6 +22,10 @@
         { name = "hifiberry-digi-pro"; dtboFile = "${pkgs.device-tree_rpi.overlays}/hifiberry-digi-pro.dtbo"; }
       ];
     };
+    firmware = with pkgs; [
+      firmwareLinuxNonfree
+      wireless-regdb
+    ];
   };
 
   sound.enable = true;

hosts/pi/hardware-configuration.nix

@@ -5,6 +5,8 @@
     <nixos-hardware/raspberry-pi/4>
   ];
 
+  boot.cleanTmpDir = true;
+
   fileSystems = {
     "/" = {
       device = "/dev/disk/by-label/NIXOS_SD";

hosts/server.nix

@@ -18,6 +18,8 @@
 
   console.keyMap = "uk";
 
+  documentation.enable = false;
+
   services.openssh = {
     enable = true;
     settings = {