anchor.diff:  
         platformCred = mkOption {
           default = "${cfg.stateDir}/platform.cert";
  +        type = types.path;
           description = ''
   	  Path to the platform credential for your TPM. Your TPM
             manufacturer may have provided you with a set of credentials
  
positive.code: 
        user = mkOption {
          default = "tss";
          description = "User account under which tcsd runs.";
        };
  
        group = mkOption {
          default = "tss";
          description = "Group account under which tcsd runs.";
        };
  
        stateDir = mkOption {
  	default = "/var/lib/tpm";
  	description = ''
            The location of the system persistent storage file.
            The system persistent storage file holds keys and data across
  
negative.code: 
        endorsementCred = mkOption {
          default = "${cfg.stateDir}/endorsement.cert";
          type = types.path;
          description = ''
            Path to the endorsement credential for your TPM.
            See also the platformCred option'';
  