anchor.diff:        description = "Xen Watchdog Daemon";
         wantedBy = [ "multi-user.target" ];
         after = [ "xen-qemu.service" ];
  -      serviceConfig.ExecStart = "${pkgs.xen}/bin/xenwatchdogd 30 15";
  +      serviceConfig.ExecStart = "${cfg.package}/bin/xenwatchdogd 30 15";
         serviceConfig.Type = "forking";
         serviceConfig.RestartSec = "1";
         serviceConfig.Restart = "on-failure";
  
positive.code:             exit 1
          fi
  
          ${pkgs.xen}/bin/xenstore-write "/local/domain/0/name" "Domain-0"
          ${pkgs.xen}/bin/xenstore-write "/local/domain/0/domid" 0
          '';
      };
  
  
negative.code:       message = "Xen currently does not support EFI boot";
      } ];
  
      virtualisation.xen.stored = mkDefault "${cfg.package}/bin/oxenstored";
  
      environment.systemPackages = [ cfg.package ];
  
      # Make sure Domain 0 gets the required configuration
      #boot.kernelPackages = pkgs.boot.kernelPackages.override { features={xen_dom0=true;}; };
  