2015-10-23 01:26:53 +02:00
|
|
|
|
# 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, ... }:
|
|
|
|
|
|
|
|
|
|
{
|
2018-11-05 12:04:06 +01:00
|
|
|
|
boot.initrd.availableKernelModules = [
|
|
|
|
|
"aesni_intel"
|
|
|
|
|
"kvm-intel"
|
|
|
|
|
"aes_x86_64"
|
|
|
|
|
];
|
2015-10-23 01:26:53 +02:00
|
|
|
|
|
2018-10-28 11:23:34 +01:00
|
|
|
|
boot.extraModprobeConfig = ''
|
|
|
|
|
options kvm-intel nested=1
|
|
|
|
|
options kvm-intel enable_shadow_vmcs=1
|
|
|
|
|
options kvm-intel enable_apicv=1
|
|
|
|
|
options kvm-intel ept=1
|
|
|
|
|
'';
|
2017-01-18 16:07:47 +01:00
|
|
|
|
|
2018-11-05 12:04:06 +01:00
|
|
|
|
# TODO: migrate this to the encryptedDisk module
|
|
|
|
|
fileSystems."/boot" = {
|
2018-01-26 12:43:08 +01:00
|
|
|
|
device = "/dev/disk/by-uuid/445D-DBAA";
|
|
|
|
|
fsType = "vfat";
|
2017-01-18 16:07:47 +01:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
fileSystems."/" = {
|
|
|
|
|
device = "/dev/disk/by-uuid/948e84dc-5c4f-4051-8a13-efb30155839f";
|
2015-10-23 01:26:53 +02:00
|
|
|
|
fsType = "btrfs";
|
2017-01-18 16:07:47 +01:00
|
|
|
|
options = [ "subvol=nixos" ];
|
2015-10-23 01:26:53 +02:00
|
|
|
|
};
|
2017-01-18 16:07:47 +01:00
|
|
|
|
|
|
|
|
|
fileSystems."/home" = {
|
|
|
|
|
device = "/dev/disk/by-uuid/948e84dc-5c4f-4051-8a13-efb30155839f";
|
2015-10-23 01:26:53 +02:00
|
|
|
|
fsType = "btrfs";
|
2017-01-18 16:07:47 +01:00
|
|
|
|
options = [ "subvol=home" ];
|
2015-10-23 01:26:53 +02:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
fileSystems."/var/lib/rkt" = {
|
|
|
|
|
fsType = "tmpfs";
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
fileSystems."/var/lib/cni" = {
|
|
|
|
|
fsType = "tmpfs";
|
|
|
|
|
};
|
|
|
|
|
|
2018-09-16 18:27:25 +02:00
|
|
|
|
swapDevices = [
|
|
|
|
|
{ label = "vg0swap"; }
|
|
|
|
|
];
|
2015-10-23 01:26:53 +02:00
|
|
|
|
|
2017-01-18 16:07:47 +01:00
|
|
|
|
boot.loader.grub = {
|
|
|
|
|
device = "/dev/sda";
|
|
|
|
|
efiSupport = true;
|
|
|
|
|
};
|
2015-10-23 01:26:53 +02:00
|
|
|
|
|
2017-01-18 16:07:47 +01:00
|
|
|
|
boot.initrd.luks.devices = [ {
|
|
|
|
|
name = "btrfsroot";
|
|
|
|
|
device = "/dev/disk/by-uuid/0e6b5751-0e6d-4de7-84c3-17fe525c4c72";
|
|
|
|
|
preLVM = true;
|
2015-10-23 01:26:53 +02:00
|
|
|
|
allowDiscards = true;
|
|
|
|
|
}
|
|
|
|
|
];
|
|
|
|
|
}
|