[Nix-dev] PCI Expresscard not working under NixOS

[Christoph-Simon Senjak]

Hi.

My USB 3.0 Expresscard does not work under NixOS, it used to work under 
other distros. I already tried to add

boot.kernelParams = [ "pciehp.pciehp_force=1 pciehp.pciehp_poll_mode=1" ];

and

boot.initrd.luks.mitigateDMAAttacks = false;

to /etc/nixos/hardware-configuration.nix, and

   nixpkgs.config.packageOverrides = pkgs: {
       stdenv = pkgs.stdenv // {
                platform = pkgs.stdenv.platform // {
                kernelExtraConfig = "HOTPLUG_PCI_PCIE y" ;
                 };
          };
   };

to /etc/nixos/configuration.nix. This will recompile the kernel, but 
still, I cannot use it. Do you have any suggestion?

With Best Regards,
Christoph-Simon Senjak