anchor.diff:          };
         };
   
  +      udp = {
  +        port = mkOption {
  +          default = 2086;  # assigned by IANA
  +          description = ''
  +            The UDP port for use by GNUnet.
  +          '';
  +        };
  +      };
  +
  +      tcp = {
  +        port = mkOption {
  +          default = 2086;  # assigned by IANA
  +          description = ''
  +            The TCP port for use by GNUnet.
  +          '';
  +        };
  +      };
  +
         load = {
           maxNetDownBandwidth = mkOption {
             default = 50000;
  
positive.code:         home = "/var/empty";
        };
  
      jobs.gnunetd =
        { description = "The GNUnet Daemon";
  
  
negative.code: 
          exec =
            ''
              ${pkgs.gnunet}/bin/gnunetd                  \
                ${if cfg.debug then "--debug" else "" }   \
                --user="gnunetd"                          \
                --config="${configFile}"                  \
                --log="${cfg.logLevel}"
            '';
        };
  