crappy: get it to load the firmware required for its wifi chipset (mwifiex_sdio)

hosts/modules/hal/samsung/default.nix

@@ -87,6 +87,13 @@ in
     boot.initrd.compressor = "gzip";
     # boot.initrd.compressorArgs = [ "--ultra" "-22" ];
 
+    hardware.firmware = [
+      (pkgs.linux-firmware.overrideAttrs (_: {
+        # mwifiex_sdio seems to require uncompressed firmware (even with a kernel configured for CONFIG_MODULE_COMPRESS_ZSTD=y)
+        passthru.compressFirmware = false;
+      }))
+    ];
+
     boot.initrd.availableKernelModules = [
     # boot.initrd.kernelModules = [
       # from postmarketOS

pkgs/additional/linux-postmarketos-exynos5/default.nix

@@ -58,8 +58,10 @@ let
     #
     # Extra nixpkgs-specific options
     # nixos/modules/system/boot/systemd.nix wants CONFIG_DMIID
+    # nixos/modules/services/hardware/udev.nix wants CONFIG_MODULE_COMPRESS_ZSTD
     #
     CONFIG_DMIID=y
+    CONFIG_MODULE_COMPRESS_ZSTD=y
 
     #
     # Extra sane-specific options