# 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 = [ "nvme" "ahci" "xhci_pci" "thunderbolt" "usbhid" "usb_storage" "sd_mod" ]; boot.initrd.kernelModules = [ ]; boot.kernelModules = [ "kvm-amd" ]; boot.extraModulePackages = [ ]; fileSystems."/" = { device = "/dev/disk/by-uuid/99fe114e-be1a-414b-893f-669bef13baeb"; fsType = "ext4"; }; fileSystems."/boot" = { device = "/dev/disk/by-uuid/EC54-3580"; fsType = "vfat"; options = [ "fmask=0077" "dmask=0077" ]; }; fileSystems."/data/alpha" = { device = "/dev/disk/by-uuid/465436bf-d997-4961-b577-2a91f9061e33"; fsType = "ext4"; }; fileSystems."/data/bravo" = { device = "/dev/disk/by-uuid/1259b0aa-3b6d-43c3-a45a-1073e82fb554"; fsType = "ext4"; }; fileSystems."/data/charlie" = { device = "/dev/disk/by-uuid/cb29be2a-a6e8-4581-98fd-1648de77e9c1"; fsType = "ext4"; }; fileSystems."/home" = { device = "/dev/disk/by-uuid/23e4cffe-4f57-486b-9a9f-24e715838a4d"; fsType = "ext4"; }; fileSystems."/nix/store" = { device = "/dev/disk/by-uuid/77fb07a2-68f7-4f4f-a4a0-d3bcdc83b98a"; fsType = "btrfs"; }; swapDevices = [ { device = "/dev/disk/by-uuid/25377ac7-4a7a-4648-abe1-f65990145c54"; } ]; # 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..useDHCP`. networking.useDHCP = lib.mkDefault true; # networking.interfaces.enp15s0u1.useDHCP = lib.mkDefault true; nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux"; hardware.cpu.amd.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware; }