{ config, lib, pkgs, ... }:

{
  boot = {
    initrd.luks.devices = [ { name = "ssd"; device = "/dev/disk/by-uuid/9e9e430c-f9cd-418e-b66b-60f81ba9293b"; }
                          ];
    loader = {
      systemd-boot.enable = true;
      efi.canTouchEfiVariables = true;
    };

    tmpOnTmpfs = true;

    kernelParams = ["intel_pstate=no_hwp"];
  };
}