{ config, pkgs, ... }:
{
  boot = {
    initrd = {
      luks = {
        devices."luks-9cd65807-a47b-4ffe-ac11-05680b9fffb0".device = "/dev/disk/by-uuid/9cd65807-a47b-4ffe-ac11-05680b9fffb0"; 
      };
    };  
    extraModulePackages = with config.boot.kernelPackages; [ ];
    kernelParams = [ "debug" ];
    loader = {
      efi = {
      # canTouchEfiVariables = true;
        efiSysMountPoint = "/boot"; 
      };
      grub = {
        enable = true;
	      copyKernels = true;
        efiInstallAsRemovable = true;
        enableCryptodisk = false; 
        efiSupport = true;
        devices = [ "nodev" ];
	      extraEntries = ''
          menuentry "Reboot" {
            reboot
          }
          menuentry "Poweroff" {
            halt
          }
       '';
      };
    }; 
  };
}