# 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 = [ "xhci_pci" "thunderbolt" "nvme" "usb_storage" "sd_mod" ];
   boot.initrd.kernelModules = [ ];
   boot.kernelModules = [ "kvm-intel" ];
   boot.extraModulePackages = [ ];

   fileSystems."/" =
   { device = "/dev/disk/by-uuid/57acdde1-70b7-40e8-bb73-d7d54779483a";
      fsType = "ext4";
   };

   boot.initrd.luks.devices."luks-c58a97a0-a4d0-44cd-85f9-64c5dca053b0".device = "/dev/disk/by-uuid/c58a97a0-a4d0-44cd-85f9-64c5dca053b0";

   fileSystems."/boot" =
   { device = "/dev/disk/by-uuid/C512-6D1F";
      fsType = "vfat";
   };

   swapDevices =
      [ { device = "/dev/disk/by-uuid/7707e125-4885-4abe-bdef-9ac3fb7191a4"; }
      ];

# 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.wlp170s0.useDHCP = lib.mkDefault true;

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