56 lines
2.7 KiB
Nix
56 lines
2.7 KiB
Nix
# 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;
|
||
}
|