1  # Do not modify this file!  It was generated by ‘nixos-generate-config’
 2  # and may be overwritten by future invocations.  Please make changes
 3  # to /etc/nixos/configuration.nix instead.
 4  { config, lib, pkgs, modulesPath, ... }:
 5  
 6  {
 7    imports =
 8      [ (modulesPath + "/installer/scan/not-detected.nix")
 9      ];
10  
11    boot.initrd.availableKernelModules = [ "xhci_pci" "thunderbolt" "vmd" "nvme" "usb_storage" "sd_mod" ];
12    boot.initrd.kernelModules = [ ];
13    boot.kernelModules = [ "kvm-intel" ];
14    boot.extraModulePackages = [ ];
15  
16    fileSystems."/" =
17      { device = "/dev/disk/by-uuid/8432914c-97d0-4a73-9fba-1ac2f9d5b142";
18        fsType = "btrfs";
19        options = [ "subvol=@" ];
20      };
21  
22    boot.initrd.luks.devices."luks-c3bbf8f8-b8fd-4d3f-af0a-a8a14231f51a".device = "/dev/disk/by-uuid/c3bbf8f8-b8fd-4d3f-af0a-a8a14231f51a";
23  
24    fileSystems."/boot" =
25      { device = "/dev/disk/by-uuid/C255-BC21";
26        fsType = "vfat";
27      };
28  
29    swapDevices =
30      [ { device = "/dev/disk/by-uuid/c876cd11-f724-4f82-ac6e-7ee321cb1094"; }
31      ];
32  
33    # Enables DHCP on each ethernet and wireless interface. In case of scripted networking
34    # (the default) this is the recommended approach. When using systemd-networkd it's
35    # still possible to use this option, but it's recommended to use it in conjunction
36    # with explicit per-interface declarations with `networking.interfaces.<interface>.useDHCP`.
37    networking.useDHCP = lib.mkDefault true;
38    # networking.interfaces.wlp0s20f3.useDHCP = lib.mkDefault true;
39  
40    nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
41    hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
42  }