# 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" "usb_storage" "sd_mod" "sr_mod" ]; boot.initrd.kernelModules = [ ]; boot.kernelModules = [ "kvm-intel" ]; boot.extraModulePackages = [ ]; fileSystems."/" = { device = "/dev/disk/by-uuid/75addc56-2a0d-431e-a0c5-f6ee0e370e61"; fsType = "ext4"; }; fileSystems."/boot" = { device = "/dev/disk/by-uuid/610F-1EB7"; fsType = "vfat"; options = [ "fmask=0022" "dmask=0022" ]; }; fileSystems."/pool/tvb" = { device = "pool/user/tvb"; fsType = "zfs"; }; fileSystems."/pool/tvb/doc" = { device = "pool/user/tvb/doc"; fsType = "zfs"; }; fileSystems."/pool/tvb/game" = { device = "pool/user/tvb/game"; fsType = "zfs"; }; fileSystems."/pool/tvb/video" = { device = "pool/user/tvb/video"; fsType = "zfs"; }; fileSystems."/pool/tvb/audio" = { device = "pool/user/tvb/audio"; fsType = "zfs"; }; fileSystems."/pool/tvb/image" = { device = "pool/user/tvb/image"; fsType = "zfs"; }; swapDevices = [ { device = "/dev/disk/by-uuid/cc464bb4-e1c8-46c0-adbb-ea1a3cfa5b03"; } ]; # 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.eno1.useDHCP = lib.mkDefault true; # networking.interfaces.nebula.beatific.useDHCP = lib.mkDefault true; nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux"; hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware; }