{ config, lib, ... }:
{
  boot.initrd = {
    availableKernelModules = [
      "ahci"
      "ehci_pci"
      "xhci_pci"
    ];
    kernelModules = [ "dm-snapshot" ];
  };

  nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
  hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
}