···

       
8
       
8
       
 
       
    [ (modulesPath + "/installer/scan/not-detected.nix")

     

       
9
       
9
       
 
       
    ];

     

       
10
       
10
       
 
       


     

       
11
       
11
       
-
       
  boot.initrd.availableKernelModules = [ "nvme" "xhci_pci" "ahci" "uas" "usbhid" "sd_mod" ];

     

       
12
       
12
       
-
       
  boot.initrd.kernelModules = [ ];

     

       
11
       
11
       
+
       
  boot.initrd.availableKernelModules = [ "nvme" "xhci_pci" "ahci" "usbhid" "sd_mod" ];

     

       
12
       
12
       
+
       
  boot.initrd.kernelModules = [

     

       
13
       
13
       
+
       
     "vfio" "vfio_iommu_type1" "vfio_pci"

     

       
14
       
14
       
+
       
     "nvidia" "nvidia-modeset" "nvidia_uvm" "nvidia_drm" 

     

       
15
       
15
       
+
       
  ];

     

       
13
       
16
       
 
       
  boot.kernelModules = [ "kvm-amd" ];

     

       
17
       
17
       
+
       
  boot.kernelParams = [

     

       
18
       
18
       
+
       
    "amd_iommu=on"

     

       
19
       
19
       
+
       
    "vfio-pci.ids=10de:2484,10de228b,1022:149c,15b7:5045"

     

       
20
       
20
       
+
       
  ];

     

       
14
       
21
       
 
       
  boot.extraModulePackages = [ ];

     

       
15
       
22
       
 
       


     

       
16
       
23
       
 
       
  fileSystems."/" =

     

       
17
       
17
       
-
       
    { device = "/dev/disk/by-uuid/2009b305-f22d-4a5c-c49a2303232b";

     

       
24
       
24
       
+
       
    { device = "/dev/disk/by-uuid/2009b305-f22d-4d5c-a9d3-c49a2303232b";

     

       
18
       
25
       
 
       
      fsType = "ext4";

     

       
19
       
26
       
 
       
    };

     

       
20
       
27
       
 
       


     
···

       
24
       
31
       
 
       
      options = [ "fmask=0077" "dmask=0077" ];

     

       
25
       
32
       
 
       
    };

     

       
26
       
33
       
 
       


     

       
27
       
27
       
-
       
  swapDevices =

     

       
28
       
28
       
-
       
    [ #{ device = "/dev/disk/by-uuid/3029e270-a5f5-4a97-a29b-f2bc3e3a33a8"; }

     

       
29
       
29
       
-
       
    ];

     

       
34
       
34
       
+
       
  swapDevices = [ ];

     

       
30
       
35
       
 
       


     

       
31
       
36
       
 
       
  # Enables DHCP on each ethernet and wireless interface. In case of scripted networking

     

       
32
       
37
       
 
       
  # (the default) this is the recommended approach. When using systemd-networkd it's

     

···

       
6
       
6
       
 
       
    # Host-specific hardware

     

       
7
       
7
       
 
       
    ./hardware.nix

     

       
8
       
8
       
 
       
    ./secrets.nix

     

       
9
       
9
       
-
       
    ./vfio.nix

     

       
9
       
9
       
+
       
    #./vfio.nix

     

       
10
       
10
       
 
       
    

     

       
11
       
11
       
 
       
    # Common modules shared across hosts

     

       
12
       
12
       
 
       
    ../../common/system.nix

     
···

       
26
       
26
       
 
       
    #../../host-secrets.nix

     

       
27
       
27
       
 
       
  ];

     

       
28
       
28
       
 
       


     

       
29
       
29
       
-
       
  system.stateVersion = "24.11";

     

       
29
       
29
       
+
       
  system.stateVersion = "25.05";

     

       
30
       
30
       
 
       


     

       
31
       
31
       
 
       
  # pin host platform & microcode

     

       
32
       
32
       
 
       
  nixpkgs.hostPlatform               = lib.mkDefault "x86_64-linux";

     

···

       
8
       
8
       
 
       
    [ (modulesPath + "/installer/scan/not-detected.nix")

     

       
9
       
9
       
 
       
    ];

     

       
10
       
10
       
 
       


     

       
11
       
11
       
-
       
  boot.initrd.availableKernelModules = [ "nvme" "xhci_pci" "ahci" "usbhid" "sd_mod" ];

     

       
12
       
12
       
-
       
  boot.initrd.kernelModules = [

     

       
13
       
13
       
-
       
     "vfio" "vfio_iommu_type1" "vfio_pci"

     

       
14
       
14
       
-
       
     "nvidia" "nvidia-modeset" "nvidia_uvm" "nvidia_drm" 

     

       
15
       
15
       
-
       
  ];

     

       
11
       
11
       
+
       
  boot.initrd.availableKernelModules = [ "nvme" "xhci_pci" "ahci" "uas" "usbhid" "sd_mod" ];

     

       
12
       
12
       
+
       
  boot.initrd.kernelModules = [ ];

     

       
16
       
13
       
 
       
  boot.kernelModules = [ "kvm-amd" ];

     

       
17
       
17
       
-
       
  boot.kernelParams = [

     

       
18
       
18
       
-
       
    "amd_iommu=on"

     

       
19
       
19
       
-
       
    "vfio-pci.ids=10de:2484,10de228b,1022:149c,15b7:5045"

     

       
20
       
20
       
-
       
  ];

     

       
21
       
14
       
 
       
  boot.extraModulePackages = [ ];

     

       
22
       
15
       
 
       


     

       
23
       
16
       
 
       
  fileSystems."/" =

     

       
24
       
24
       
-
       
    { device = "/dev/disk/by-uuid/2009b305-f22d-4d5c-a9d3-c49a2303232b";

     

       
17
       
17
       
+
       
    { device = "/dev/disk/by-uuid/5d42a325-ba0d-4d40-906b-d28603b433ef";

     

       
25
       
18
       
 
       
      fsType = "ext4";

     

       
26
       
19
       
 
       
    };

     

       
27
       
20
       
 
       


     

       
28
       
21
       
 
       
  fileSystems."/boot" =

     

       
29
       
29
       
-
       
    { device = "/dev/disk/by-uuid/E53C-502F";

     

       
22
       
22
       
+
       
    { device = "/dev/disk/by-uuid/404A-728D";

     

       
30
       
23
       
 
       
      fsType = "vfat";

     

       
31
       
31
       
-
       
      options = [ "fmask=0077" "dmask=0077" ];

     

       
24
       
24
       
+
       
      options = [ "fmask=0022" "dmask=0022" ];

     

       
32
       
25
       
 
       
    };

     

       
33
       
26
       
 
       


     

       
34
       
27
       
 
       
  swapDevices = [ ];

     
···

       
37
       
30
       
 
       
  # (the default) this is the recommended approach. When using systemd-networkd it's

     

       
38
       
31
       
 
       
  # still possible to use this option, but it's recommended to use it in conjunction

     

       
39
       
32
       
 
       
  # with explicit per-interface declarations with `networking.interfaces.<interface>.useDHCP`.

     

       
40
       
40
       
-
       
  networking.useDHCP = lib.mkDefault true;

     

       
33
       
33
       
+
       
  # networking.useDHCP = lib.mkDefault true;

     

       
41
       
34
       
 
       
  # networking.interfaces.enp5s0.useDHCP = lib.mkDefault true;

     

       
42
       
35
       
 
       
  # networking.interfaces.wlp4s0.useDHCP = lib.mkDefault true;

     

       
43
       
36