anchor.diff:  
       system.extraSystemBuilderCmds =
         ''
  -        ln -s ${pkgs.xen}/boot/xen.gz $out/xen.gz
  +        ln -s ${cfg.package}/boot/xen.gz $out/xen.gz
           echo "${toString cfg.bootParams}" > $out/xen-params
         '';
   
  
positive.code:       description = "Xen Watchdog Daemon";
        wantedBy = [ "multi-user.target" ];
        after = [ "xen-qemu.service" ];
        serviceConfig.ExecStart = "${pkgs.xen}/bin/xenwatchdogd 30 15";
        serviceConfig.Type = "forking";
        serviceConfig.RestartSec = "1";
        serviceConfig.Restart = "on-failure";
  
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;}; };
  