2018-10-28 11:21:37 +01: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, ... }:
|
|
|
|
|
|
|
|
|
|
{
|
|
|
|
|
nix.maxJobs = lib.mkDefault 3;
|
|
|
|
|
nix.buildCores = 3;
|
|
|
|
|
|
|
|
|
|
hardware.enableAllFirmware = true;
|
|
|
|
|
hardware.trackpoint.emulateWheel = true;
|
|
|
|
|
|
|
|
|
|
boot.initrd.availableKernelModules = [ "xhci_pci" "ahci" "usb_storage" "sd_mod" "rtsx_pci_sdmmc" ];
|
|
|
|
|
boot.kernelModules = [ "kvm-intel" ];
|
|
|
|
|
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
|
|
|
|
|
'';
|
|
|
|
|
boot.extraModulePackages = [ ];
|
|
|
|
|
|
|
|
|
|
boot.loader.systemd-boot.enable = true;
|
2018-10-28 14:00:47 +01:00
|
|
|
|
boot.loader.efi.canTouchEfiVariables = false;
|
2018-10-28 11:21:37 +01:00
|
|
|
|
|
|
|
|
|
fileSystems."/boot" = {
|
|
|
|
|
device = "/dev/disk/by-id/usb-SCSI_DISK_9E216FC57FBD4AE1-0:0-part2";
|
|
|
|
|
fsType = "vfat";
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
fileSystems."/" = {
|
|
|
|
|
device = "/dev/mapper/live--usb-live--usb--root";
|
|
|
|
|
fsType = "btrfs";
|
|
|
|
|
options = [ "subvol=nixos" ];
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
fileSystems."/home" = {
|
|
|
|
|
device = "/dev/mapper/live--usb-live--usb--root";
|
|
|
|
|
fsType = "btrfs";
|
|
|
|
|
options = [ "subvol=home" ];
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
swapDevices = [
|
|
|
|
|
{ device = "/dev/mapper/live--usb-live--usb--root"; }
|
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
boot.loader.grub = {
|
|
|
|
|
device = "/dev/disk/by-id/usb-SCSI_DISK_9E216FC57FBD4AE1-0:0";
|
|
|
|
|
efiSupport = true;
|
2018-10-28 14:00:47 +01:00
|
|
|
|
efiInstallAsRemovable = true;
|
2018-10-28 11:21:37 +01:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
boot.initrd.luks.devices = [ {
|
|
|
|
|
name = "crypt-live-usb";
|
|
|
|
|
device = "/dev/disk/by-id/usb-SCSI_DISK_9E216FC57FBD4AE1-0:0-part3";
|
|
|
|
|
preLVM = true;
|
|
|
|
|
allowDiscards = true;
|
|
|
|
|
}
|
|
|
|
|
];
|
|
|
|
|
}
|