{ ... }:
{
  # Don't use the systemd-boot EFI boot loader.
  # Necessary for dual boot Windows
  boot.loader.systemd-boot.enable = false;

  boot.loader = {
    efi = {
      canTouchEfiVariables = true;
      efiSysMountPoint = "/boot";
    };
    grub = {
      enable = true;
      devices = [ "nodev" ];
      efiSupport = true;
      extraEntries = ''
        menuentry "Windows" {
          insmod part_gpt
            insmod fat
            insmod search_fs_uuid
            insmod chain
            search --fs-uuid --set=root FE74-E293
            chainloader /EFI/Microsoft/Boot/bootmgfw.efi
        }
        		  '';
    };
  };
}