anchor.diff:        };
   
         readonly = mkOption {
  +        type = types.bool;
           default = true;
           description = ''
             Whether to enable the broken-device-safety, otherwise
  
positive.code:       };
  
        device = mkOption {
          default = "/dev/ttyUSB0";
          description = ''
            A device may be a local serial device for GPS input, or a URL of the form:
  
negative.code:       };
  
        port = mkOption {
          type = types.uniq types.int;
          default = 2947;
          description = ''
            The port where to listen for TCP connections.
  