# Do not modify this file!  It was generated by ‘nixos-generate-config’
# and may be overwritten by future invocations.  Please make changes
# to /etc/nixos/configuration.nix instead.
{ config, lib, pkgs, modulesPath, ... }:

{
  imports =
    [ (modulesPath + "/installer/scan/not-detected.nix")
    ];

  boot.initrd.availableKernelModules = [ "nvme" "xhci_pci" "thunderbolt" "usb_storage" "sd_mod" ];
  boot.initrd.kernelModules = [ ];
  boot.kernelModules = [ "kvm-amd" ];
  # It's been a busy month with dock issues! Two specific kernel constraints:
  # 1. We're, for the moment, stuck on the LTS kernel because kernels >6.15.?
  #    break wired networking on the dock. This has been reported in Fedora
  #    fora:
  #    https://discussion.fedoraproject.org/t/fedora-42-driver-issues-with-kernel-6-15-thunderbolt-docking-station-igb-usb/157039
  # 2. "drm/dp: Change AUX DPCD probe address from DPCD_REV to LANE0_1_STATUS"
  #    (included in 6.12.44, so we're pinned to one release earlier) breaks
  #    external DisplayPort displays on the Thunderbolt Dock. Issue tracker:
  #    https://gitlab.freedesktop.org/drm/amd/-/issues/4500
  #    A patch has been developed as of 2025-09-03, but no fix yet. Also
  #    believed to be broken in 6.16.0 and newer.
  #    via https://discuss.cachyos.org/t/thunderbolt-dock-dp-displays-no-longer-working/14695/2
  boot.kernelPackages = (import (fetchTarball "https://github.com/NixOS/nixpkgs/archive/b98378bf28d97644078e1c56d10dc7819d643cbf~.tar.gz") {}).linuxPackages; # before 6.12.44 upgrade

  boot.extraModulePackages = [ ];

  fileSystems."/" =
    { device = "/dev/disk/by-uuid/0a62e218-7906-4591-a8de-573fdc58d056";
      fsType = "ext4";
    };

  boot.initrd.luks.devices."luks-8ecd33f4-36cf-44f2-b215-5e67887418b9".device = "/dev/disk/by-uuid/8ecd33f4-36cf-44f2-b215-5e67887418b9";

  fileSystems."/boot" =
    { device = "/dev/disk/by-uuid/24AC-733A";
      fsType = "vfat";
    };

  swapDevices =
    [ { device = "/dev/disk/by-uuid/47a8e9a7-4fb9-48fc-af5c-17e005b45abd"; }
    ];

  # Enables DHCP on each ethernet and wireless interface. In case of scripted networking
  # (the default) this is the recommended approach. When using systemd-networkd it's
  # still possible to use this option, but it's recommended to use it in conjunction
  # with explicit per-interface declarations with `networking.interfaces.<interface>.useDHCP`.
  networking.useDHCP = lib.mkDefault true;
  # networking.interfaces.enp6s0.useDHCP = lib.mkDefault true;
  # networking.interfaces.wlp1s0.useDHCP = lib.mkDefault true;

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