MODIFY: Firmware configuration for citadel to enable wifi

hosts/citadel/default.nix

@@ -37,6 +37,7 @@ in
 
   boot = {
     blacklistedKernelModules = [ "snd_hda_intel" "snd_soc_skl" ];
+    kernelModules = [ "iwlwifi" ];
     kernelPackages = pkgs.linuxPackagesFor pkgs.linux_latest;
     loader = {
       systemd-boot.enable = true;
@@ -45,9 +46,12 @@ in
     };
   };
 
-  hardware.firmware = [
+  hardware = {
+    enableRedistributableFirmware = true;
+    firmware = [
       pkgs.sof-firmware
     ];
+  };
 
   networking = {
     hostName = "citadel";