# 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 = [ "ahci" "xhci_pci" "nvme" "usbhid" "usb_storage" "sd_mod" "rtsx_usb_sdmmc" ]; boot.initrd.kernelModules = [ "dm-snapshot" "dm_cache_smq" "dm_cache" "dm_persistent_data" "dm_bio_prison" "dm_bufio" "dm_raid" "dm_mod" ]; boot.kernelModules = [ "kvm-intel" ]; boot.extraModulePackages = [ ]; boot.swraid.enable = true; # Cache and Thin Provisioning Support services.lvm.boot.thin.enable = true; fileSystems."/" = { device = "/dev/disk/by-uuid/4aa8d42a-e8c3-4b60-bc69-2d0333886c55"; fsType = "xfs"; options = [ "defaults" "pquota" ]; }; fileSystems."/boot" = { device = "/dev/disk/by-uuid/BF96-6765"; fsType = "vfat"; }; fileSystems."/storage" = { device = "/dev/disk/by-uuid/eb2170c8-236a-40d4-baa8-07ad4981a442"; fsType = "xfs"; options = [ "defaults" "pquota" ]; }; swapDevices = [ ]; # 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; # Used to talk with the SpiNNaker networking.interfaces.eno2 = { ipv4.routes = [{ address = "192.168.240.0"; prefixLength = 24; via = "192.168.240.254"; }]; ipv4.addresses = [{ address = "192.168.240.254"; prefixLength = 24; }]; useDHCP = lib.mkDefault false; }; nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux"; powerManagement.cpuFreqGovernor = lib.mkDefault "powersave"; hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware; }