# hardware-configuration.nix for hp-laptop
# Generated placeholder — run `sudo nixos-generate-config --show-hardware-config` on the
# target machine after the initial (disko / nixos-anywhere) install and replace this file.
# NOTE: Do NOT copy the output of `nixos-generate-config` run from the installer ISO — it
# reflects the live environment (tmpfs /, /iso, squashfs overlay), not the installed system.
# NOTE: `fileSystems` and `swapDevices` are intentionally omitted here — they are
# provided by the disko module (hosts/hp-laptop/disko-config.nix).
# Disk layout (see disko-config.nix): /dev/sda = boot + ESP + swap + root (/);
# /dev/sdb = home (/home).
{ config
, lib
, pkgs
, modulesPath
, ...
}:
{
  imports = [
    (modulesPath + "/installer/scan/not-detected.nix")
  ];

  boot.initrd.availableKernelModules = [
    "xhci_pci"
    "nvme"
    "usb_storage"
    "sd_mod"
  ];
  boot.initrd.kernelModules = [ ];
  boot.kernelModules = [ "kvm-intel" ];
  boot.extraModulePackages = [ ];

  networking.useDHCP = lib.mkDefault true;
  # networking.interfaces.wlp2s0.useDHCP = lib.mkDefault true;

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