30 lines
821 B
Nix
30 lines
821 B
Nix
|
# 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 = [ ];
|
|||
|
|
|
|||
|
|
boot.initrd.availableKernelModules = [ "ahci" ];
|
|||
|
|
boot.initrd.kernelModules = [ ];
|
|||
|
|
boot.kernelModules = [ "kvm-intel" ];
|
|||
|
|
boot.extraModulePackages = [ ];
|
|||
|
|
|
|||
|
|
fileSystems."/" =
|
|||
|
|
{ device = "/dev/disk/by-uuid/01b807a8-cd90-43a3-9eea-09e0dbff23af";
|
|||
|
|
fsType = "ext4";
|
|||
|
|
};
|
|||
|
|
|
|||
|
|
fileSystems."/boot" =
|
|||
|
|
{ device = "/dev/disk/by-uuid/3bf7e190-38c0-40e7-89ab-e577f835f337";
|
|||
|
|
fsType = "ext2";
|
|||
|
|
};
|
|||
|
|
|
|||
|
|
swapDevices =
|
|||
|
|
[ { device = "/dev/disk/by-uuid/97a10cbc-deb3-4b8e-8c77-9855c3cb6456"; }
|
|||
|
|
];
|
|||
|
|
|
|||
|
|
nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
|
|||
|
|
}
|