From 08e746700341dda3e3bdf704332fc3c07053d3e7 Mon Sep 17 00:00:00 2001
From: Alejandro Soto <alejandro@34project.org>
Date: Wed, 10 Jul 2024 18:17:12 -0600
Subject: sys/boot: enable redistributable firmware

---
 sys/boot.nix | 20 ++++++++++++--------
 1 file changed, 12 insertions(+), 8 deletions(-)

diff --git a/sys/boot.nix b/sys/boot.nix
index 2660084..1e8685a 100644
--- a/sys/boot.nix
+++ b/sys/boot.nix
@@ -100,13 +100,17 @@ in
         };
     };
 
-    hardware.cpu =
-      let
-        ucode.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
-      in
-      {
-        amd = mkIf (cfg.cpuVendor == "amd") ucode;
-        intel = mkIf (cfg.cpuVendor == "intel") ucode;
-      };
+    hardware = {
+      cpu =
+        let
+          ucode.updateMicrocode = true;
+        in
+        {
+          amd = mkIf (cfg.cpuVendor == "amd") ucode;
+          intel = mkIf (cfg.cpuVendor == "intel") ucode;
+        };
+
+      enableRedistributableFirmware = true;
+    };
   };
 }
-- 
cgit v1.2.3