# 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""ahci""usbhid""usb_storage""sd_mod""sr_mod""rtsx_pci_sdmmc"];boot.initrd.kernelModules=[];boot.kernelModules=["kvm-intel"];boot.extraModulePackages=[];fileSystems."/"={device="/dev/disk/by-uuid/c69e65fc-7746-4a18-a7f1-32cf2a2189d5";fsType="ext4";};swapDevices=[{device="/dev/disk/by-uuid/6402ff67-4e46-40c1-8f14-cdd7dd892fef";}];# 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.mkDefaulttrue;# networking.interfaces.enp1s0.useDHCP = lib.mkDefault true;# networking.interfaces.wlp2s0.useDHCP = lib.mkDefault true;nixpkgs.hostPlatform=lib.mkDefault"x86_64-linux";hardware.cpu.intel.updateMicrocode=lib.mkDefaultconfig.hardware.enableRedistributableFirmware;}