# 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" "ehci_pci" "usb_storage" "usbhid" "sd_mod" "raid1" ];
  boot.initrd.kernelModules = [ "dm-snapshot" ];
  boot.kernelModules = [ "kvm-intel" ];
  boot.extraModulePackages = [ ];

  boot.initrd.luks.devices."cryptoroot" = {
    device = "/dev/disk/by-uuid/e3a0394d-8bb5-4049-bf65-90d7202163cd";
    keyFile = "/dev/disk/by-id/usb-SanDisk_Cruzer_Blade_04011806021722115743-0:0-part1";
    fallbackToPassword = true;
    bypassWorkqueues = true;
  };

  boot.loader.grub.mirroredBoots = [
    {
      devices = [ "/dev/disk/by-uuid/4B4A-B1B4" ];
      path = "/boot";
    }
    {
      devices = [ "/dev/disk/by-uuid/4B2C-385A" ];
      path = "/boot2";
    }
  ];

  fileSystems = {
    "/" =
      {
        device = "/dev/disk/by-uuid/4ad4db6d-543e-4cc5-a781-396e3b527a05";
        fsType = "ext4";
      };

    "/boot" =
      {
         device = "/dev/disk/by-uuid/4B4A-B1B4";
         fsType = "vfat";
      };

    "/boot2" =
      {
        device = "/dev/disk/by-uuid/4B2C-385A";
        fsType = "vfat";
      };

    "/home" =
      {
        device = "/dev/mapper/vg0-home";
        fsType = "ext4";
      };
  };

  swapDevices =
    [{ device = "/dev/mapper/vg0-swap"; }];

  hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
}