# 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 = [ "ahci" "sdhci_pci" ];
  boot.initrd.kernelModules = [ ];
  boot.kernelModules = [ "kvm-intel" ];
  boot.extraModulePackages = [ ];

  fileSystems."/" =
    { device = "/dev/disk/by-uuid/517cbfe3-3d41-4a94-97cd-e2418d55f448";
      fsType = "btrfs";
      options = [ "subvol=rootfs" "compress=zstd" "space_cache=v2" "autodefrag" ];
    };

  fileSystems."/nix" =
    { device = "/dev/disk/by-uuid/517cbfe3-3d41-4a94-97cd-e2418d55f448";
      fsType = "btrfs";
      options = [ "subvol=nix" "compress=zstd" "space_cache=v2" "autodefrag" ];
    };

  fileSystems."/home" =
    { device = "/dev/disk/by-uuid/517cbfe3-3d41-4a94-97cd-e2418d55f448";
      fsType = "btrfs";
      options = [ "subvol=home" "compress=zstd" "space_cache=v2" "autodefrag" ];
    };

  fileSystems."/root" =
    { device = "/dev/disk/by-uuid/517cbfe3-3d41-4a94-97cd-e2418d55f448";
      fsType = "btrfs";
      options = [ "subvol=home/root" "compress=zstd" "space_cache=v2" "autodefrag" ];
    };

  fileSystems."/var/log" =
    { device = "/dev/disk/by-uuid/517cbfe3-3d41-4a94-97cd-e2418d55f448";
      fsType = "btrfs";
      options = [ "subvol=log" "compress=zstd" "space_cache=v2" "autodefrag" ];
    };

  boot.initrd.luks.devices = {
    data0 = {
      device = "/dev/disk/by-uuid/aa30261e-d290-4889-b5bb-69d6107a9c41";
      keyFile = "/dev/disk/by-id/usb-_USB_DISK_2.0_078C04C00092-0:0";
      keyFileOffset = 1785856;
      keyFileSize = 4096;
      fallbackToPassword = true;
    };
    data1 = {
      device = "/dev/disk/by-uuid/f73321ce-8f2b-478e-a0ab-8258d5bb034d";
      keyFile = "/dev/disk/by-id/usb-_USB_DISK_2.0_078C04C00092-0:0";
      keyFileOffset = 1785856;
      keyFileSize = 4096;
      fallbackToPassword = true;
    };
    data2 = {
      device = "/dev/disk/by-uuid/7d68deca-87ac-4f21-b734-54be2569562b";
      keyFile = "/dev/disk/by-id/usb-_USB_DISK_2.0_078C04C00092-0:0";
      keyFileOffset = 1785856;
      keyFileSize = 4096;
      fallbackToPassword = true;
    };
    data3 = {
      device = "/dev/disk/by-uuid/52db5f64-0adb-4d86-a786-6b63df06b3fe";
      keyFile = "/dev/disk/by-id/usb-_USB_DISK_2.0_078C04C00092-0:0";
      keyFileOffset = 1785856;
      keyFileSize = 4096;
      fallbackToPassword = true;
    };
  };

  fileSystems."/tmp" =
    { device = "tmpfs";
      fsType = "tmpfs";
    };

  fileSystems."/boot" =
    { device = "/dev/disk/by-uuid/E652-B528";
      fsType = "vfat";
      options = [ "nofail" ];
    };

  swapDevices = [ ];

  powerManagement.cpuFreqGovernor = lib.mkDefault "ondemand";
}