add new firmware

configuration.nix

@@ -14,7 +14,7 @@
   # Use the systemd-boot EFI boot loader.
   boot.loader.systemd-boot.enable = true;
   boot.loader.efi.canTouchEfiVariables = true;
-  boot.loader.efiSysMountPoint = "/dev/nvme0n1p1";
+  boot.loader.efi.efiSysMountPoint = "/dev/nvme0n1p1";
 
   networking.hostName = "tnix"; # Define your hostname.
 
@@ -26,7 +26,7 @@
         mkdir -p $out/lib/firmware/brcm
         cp ${final.src}/* "$out/lib/firmware/brcm"
       '';
-    };
+    }))
   ];
 
   # Configure network connections interactively with nmcli or nmtui.

hardware-configuration.nix

@@ -18,6 +18,12 @@
       fsType = "ext4";
     };
 
+  fileSystems."/boot" =
+    { device = "/dev/disk/by-uuid/5F66-17ED";
+      fsType = "vfat";
+      options = [ "fmask=0022" "dmask=0022" ];
+    };
+
   swapDevices = [ ];
 
   nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";