# Hardware-specific configuration for the notebook.
# fileSystems and swap are declared by disko (notebook-disko.nix).
# Regenerate this file with: nixos-generate-config --no-filesystems --show-hardware-config
{ config, lib, modulesPath, ... }:
{
  imports = [
    (modulesPath + "/installer/scan/not-detected.nix")
  ];

  boot.initrd.availableKernelModules = [ "xhci_pci" "ehci_pci" "ahci" "usb_storage" "ums_realtek" "sd_mod" "sr_mod" ];
  boot.kernelModules                 = [ "kvm-intel" ];
  boot.extraModulePackages           = [];

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