From 518f921b4cc72709adc49e2860d82349107d9524 Mon Sep 17 00:00:00 2001
From: System administrator <Theo Hahn>
Date: Sat, 19 Sep 2026 16:05:00 +0000
Subject: [PATCH] add new firmware

---
 configuration.nix          | 4 ++--
 hardware-configuration.nix | 6 ++++++
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/configuration.nix b/configuration.nix
index d43b8f1..e59d2f9 100644
--- a/configuration.nix
+++ b/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.
diff --git a/hardware-configuration.nix b/hardware-configuration.nix
index 3ef0b5b..21bccd1 100644
--- a/hardware-configuration.nix
+++ b/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";