/mandos/trunk

To get this branch, use:
bzr branch http://bzr.recompile.se/loggerhead/mandos/trunk

« back to all changes in this revision

Viewing changes to mandos.xml

  • Committer: Teddy Hogeborn
  • Date: 2008-08-31 08:47:38 UTC
  • Revision ID: teddy@fukt.bsnet.se-20080831084738-uu70kayyt876982d
* mandos-keygen: Minor help text change.

* mandos-keygen.xml: Changed plural "keys" to singular "key"
                     throughout.
  (NAME): Improved wording.
  (DESCRIPTION): Improved wording.
  (OPTIONS): Split options in <term> tags into separate <term> tags.
             Use <option> tags.  Move long options before short
             options.  Uppercase replaceables.
  (OVERVIEW): Improved wording.
  (EXIT STATUS): Also cover --password option.
  (EXAMPLE): Add two examples using the --password option.
  (SECURITY): Improved wording.

* overview.xml: Improved wording.

Show diffs side-by-side

added added

removed removed

Lines of Context:
mandos.xml
1
1
<?xml version="1.0" encoding="UTF-8"?>
2
2
<!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook XML V4.5//EN"
3
3
"http://www.oasis-open.org/docbook/xml/4.5/docbookx.dtd" [
 
4
<!ENTITY VERSION "1.0">
4
5
<!ENTITY COMMANDNAME "mandos">
5
 
<!ENTITY TIMESTAMP "2012-01-01">
6
 
<!ENTITY % common SYSTEM "common.ent">
7
 
%common;
 
6
<!ENTITY TIMESTAMP "2008-08-31">
8
7
]>
9
8
 
10
9
<refentry xmlns:xi="http://www.w3.org/2001/XInclude">
11
 
   <refentryinfo>
 
10
  <refentryinfo>
12
11
    <title>Mandos Manual</title>
13
12
    <!-- NWalsh’s docbook scripts use this to generate the footer: -->
14
13
    <productname>Mandos</productname>
15
 
    <productnumber>&version;</productnumber>
 
14
    <productnumber>&VERSION;</productnumber>
16
15
    <date>&TIMESTAMP;</date>
17
16
    <authorgroup>
18
17
      <author>
19
18
        <firstname>Björn</firstname>
20
19
        <surname>Påhlsson</surname>
21
20
        <address>
22
 
          <email>belorn@recompile.se</email>
 
21
          <email>belorn@fukt.bsnet.se</email>
23
22
        </address>
24
23
      </author>
25
24
      <author>
26
25
        <firstname>Teddy</firstname>
27
26
        <surname>Hogeborn</surname>
28
27
        <address>
29
 
          <email>teddy@recompile.se</email>
 
28
          <email>teddy@fukt.bsnet.se</email>
30
29
        </address>
31
30
      </author>
32
31
    </authorgroup>
33
32
    <copyright>
34
33
      <year>2008</year>
35
 
      <year>2009</year>
36
 
      <year>2010</year>
37
 
      <year>2011</year>
38
 
      <year>2012</year>
39
34
      <holder>Teddy Hogeborn</holder>
40
35
      <holder>Björn Påhlsson</holder>
41
36
    </copyright>
42
 
    <xi:include href="legalnotice.xml"/>
 
37
    <legalnotice>
 
38
      <para>
 
39
        This manual page is free software: you can redistribute it
 
40
        and/or modify it under the terms of the GNU General Public
 
41
        License as published by the Free Software Foundation,
 
42
        either version 3 of the License, or (at your option) any
 
43
        later version.
 
44
      </para>
 
45
 
 
46
      <para>
 
47
        This manual page is distributed in the hope that it will
 
48
        be useful, but WITHOUT ANY WARRANTY; without even the
 
49
        implied warranty of MERCHANTABILITY or FITNESS FOR A
 
50
        PARTICULAR PURPOSE.  See the GNU General Public License
 
51
        for more details.
 
52
      </para>
 
53
 
 
54
      <para>
 
55
        You should have received a copy of the GNU General Public
 
56
        License along with this program; If not, see
 
57
        <ulink url="http://www.gnu.org/licenses/"/>.
 
58
      </para>
 
59
    </legalnotice>
43
60
  </refentryinfo>
44
 
  
 
61
 
45
62
  <refmeta>
46
63
    <refentrytitle>&COMMANDNAME;</refentrytitle>
47
64
    <manvolnum>8</manvolnum>
53
70
      Gives encrypted passwords to authenticated Mandos clients
54
71
    </refpurpose>
55
72
  </refnamediv>
56
 
  
 
73
 
57
74
  <refsynopsisdiv>
58
75
    <cmdsynopsis>
59
76
      <command>&COMMANDNAME;</command>
88
105
      <replaceable>DIRECTORY</replaceable></option></arg>
89
106
      <sbr/>
90
107
      <arg><option>--debug</option></arg>
91
 
      <sbr/>
92
 
      <arg><option>--debuglevel
93
 
      <replaceable>LEVEL</replaceable></option></arg>
94
 
      <sbr/>
95
 
      <arg><option>--no-dbus</option></arg>
96
 
      <sbr/>
97
 
      <arg><option>--no-ipv6</option></arg>
98
 
      <sbr/>
99
 
      <arg><option>--no-restore</option></arg>
100
 
      <sbr/>
101
 
      <arg><option>--statedir
102
 
      <replaceable>DIRECTORY</replaceable></option></arg>
103
108
    </cmdsynopsis>
104
109
    <cmdsynopsis>
105
110
      <command>&COMMANDNAME;</command>
117
122
      <arg choice="plain"><option>--check</option></arg>
118
123
    </cmdsynopsis>
119
124
  </refsynopsisdiv>
120
 
  
 
125
 
121
126
  <refsect1 id="description">
122
127
    <title>DESCRIPTION</title>
123
128
    <para>
124
129
      <command>&COMMANDNAME;</command> is a server daemon which
125
130
      handles incoming request for passwords for a pre-defined list of
126
 
      client host computers. For an introduction, see
127
 
      <citerefentry><refentrytitle>intro</refentrytitle>
128
 
      <manvolnum>8mandos</manvolnum></citerefentry>. The Mandos server
129
 
      uses Zeroconf to announce itself on the local network, and uses
130
 
      TLS to communicate securely with and to authenticate the
131
 
      clients.  The Mandos server uses IPv6 to allow Mandos clients to
132
 
      use IPv6 link-local addresses, since the clients will probably
133
 
      not have any other addresses configured (see <xref
134
 
      linkend="overview"/>).  Any authenticated client is then given
135
 
      the stored pre-encrypted password for that specific client.
 
131
      client host computers.  The Mandos server uses Zeroconf to
 
132
      announce itself on the local network, and uses TLS to
 
133
      communicate securely with and to authenticate the clients.  The
 
134
      Mandos server uses IPv6 to allow Mandos clients to use IPv6
 
135
      link-local addresses, since the clients will probably not have
 
136
      any other addresses configured (see <xref linkend="overview"/>).
 
137
      Any authenticated client is then given the stored pre-encrypted
 
138
      password for that specific client.
136
139
    </para>
 
140
 
137
141
  </refsect1>
138
142
  
139
143
  <refsect1 id="purpose">
140
144
    <title>PURPOSE</title>
 
145
 
141
146
    <para>
142
147
      The purpose of this is to enable <emphasis>remote and unattended
143
148
      rebooting</emphasis> of client host computer with an
144
149
      <emphasis>encrypted root file system</emphasis>.  See <xref
145
150
      linkend="overview"/> for details.
146
151
    </para>
 
152
 
147
153
  </refsect1>
148
154
  
149
155
  <refsect1 id="options">
150
156
    <title>OPTIONS</title>
 
157
 
151
158
    <variablelist>
152
159
      <varlistentry>
 
160
        <term><option>-h</option></term>
153
161
        <term><option>--help</option></term>
154
 
        <term><option>-h</option></term>
155
162
        <listitem>
156
163
          <para>
157
164
            Show a help message and exit
158
165
          </para>
159
166
        </listitem>
160
167
      </varlistentry>
161
 
      
 
168
 
162
169
      <varlistentry>
 
170
        <term><option>-i</option>
 
171
        <replaceable>NAME</replaceable></term>
163
172
        <term><option>--interface</option>
164
173
        <replaceable>NAME</replaceable></term>
165
 
        <term><option>-i</option>
166
 
        <replaceable>NAME</replaceable></term>
167
174
        <listitem>
168
175
          <xi:include href="mandos-options.xml" xpointer="interface"/>
169
176
        </listitem>
170
177
      </varlistentry>
171
 
      
 
178
 
172
179
      <varlistentry>
173
 
        <term><option>--address
174
 
        <replaceable>ADDRESS</replaceable></option></term>
175
 
        <term><option>-a
176
 
        <replaceable>ADDRESS</replaceable></option></term>
 
180
        <term><literal>-a</literal>, <literal>--address <replaceable>
 
181
        ADDRESS</replaceable></literal></term>
177
182
        <listitem>
178
183
          <xi:include href="mandos-options.xml" xpointer="address"/>
179
184
        </listitem>
180
185
      </varlistentry>
181
 
      
 
186
 
182
187
      <varlistentry>
183
 
        <term><option>--port
184
 
        <replaceable>PORT</replaceable></option></term>
185
 
        <term><option>-p
186
 
        <replaceable>PORT</replaceable></option></term>
 
188
        <term><literal>-p</literal>, <literal>--port <replaceable>
 
189
        PORT</replaceable></literal></term>
187
190
        <listitem>
188
191
          <xi:include href="mandos-options.xml" xpointer="port"/>
189
192
        </listitem>
190
193
      </varlistentry>
191
 
      
 
194
 
192
195
      <varlistentry>
193
 
        <term><option>--check</option></term>
 
196
        <term><literal>--check</literal></term>
194
197
        <listitem>
195
198
          <para>
196
199
            Run the server’s self-tests.  This includes any unit
198
201
          </para>
199
202
        </listitem>
200
203
      </varlistentry>
201
 
      
 
204
 
202
205
      <varlistentry>
203
 
        <term><option>--debug</option></term>
 
206
        <term><literal>--debug</literal></term>
204
207
        <listitem>
205
208
          <xi:include href="mandos-options.xml" xpointer="debug"/>
206
209
        </listitem>
207
210
      </varlistentry>
208
 
      
209
 
      <varlistentry>
210
 
        <term><option>--debuglevel
211
 
        <replaceable>LEVEL</replaceable></option></term>
212
 
        <listitem>
213
 
          <para>
214
 
            Set the debugging log level.
215
 
            <replaceable>LEVEL</replaceable> is a string, one of
216
 
            <quote><literal>CRITICAL</literal></quote>,
217
 
            <quote><literal>ERROR</literal></quote>,
218
 
            <quote><literal>WARNING</literal></quote>,
219
 
            <quote><literal>INFO</literal></quote>, or
220
 
            <quote><literal>DEBUG</literal></quote>, in order of
221
 
            increasing verbosity.  The default level is
222
 
            <quote><literal>WARNING</literal></quote>.
223
 
          </para>
224
 
        </listitem>
225
 
      </varlistentry>
226
 
      
227
 
      <varlistentry>
228
 
        <term><option>--priority <replaceable>
229
 
        PRIORITY</replaceable></option></term>
 
211
 
 
212
      <varlistentry>
 
213
        <term><literal>--priority <replaceable>
 
214
        PRIORITY</replaceable></literal></term>
230
215
        <listitem>
231
216
          <xi:include href="mandos-options.xml" xpointer="priority"/>
232
217
        </listitem>
233
218
      </varlistentry>
234
 
      
 
219
 
235
220
      <varlistentry>
236
 
        <term><option>--servicename
237
 
        <replaceable>NAME</replaceable></option></term>
 
221
        <term><literal>--servicename <replaceable>NAME</replaceable>
 
222
        </literal></term>
238
223
        <listitem>
239
224
          <xi:include href="mandos-options.xml"
240
225
                      xpointer="servicename"/>
241
226
        </listitem>
242
227
      </varlistentry>
243
 
      
 
228
 
244
229
      <varlistentry>
245
 
        <term><option>--configdir
246
 
        <replaceable>DIRECTORY</replaceable></option></term>
 
230
        <term><literal>--configdir <replaceable>DIR</replaceable>
 
231
        </literal></term>
247
232
        <listitem>
248
233
          <para>
249
234
            Directory to search for configuration files.  Default is
255
240
          </para>
256
241
        </listitem>
257
242
      </varlistentry>
258
 
      
 
243
 
259
244
      <varlistentry>
260
 
        <term><option>--version</option></term>
 
245
        <term><literal>--version</literal></term>
261
246
        <listitem>
262
247
          <para>
263
248
            Prints the program version and exit.
264
249
          </para>
265
250
        </listitem>
266
251
      </varlistentry>
267
 
      
268
 
      <varlistentry>
269
 
        <term><option>--no-dbus</option></term>
270
 
        <listitem>
271
 
          <xi:include href="mandos-options.xml" xpointer="dbus"/>
272
 
          <para>
273
 
            See also <xref linkend="dbus_interface"/>.
274
 
          </para>
275
 
        </listitem>
276
 
      </varlistentry>
277
 
      
278
 
      <varlistentry>
279
 
        <term><option>--no-ipv6</option></term>
280
 
        <listitem>
281
 
          <xi:include href="mandos-options.xml" xpointer="ipv6"/>
282
 
        </listitem>
283
 
      </varlistentry>
284
 
      
285
 
      <varlistentry>
286
 
        <term><option>--no-restore</option></term>
287
 
        <listitem>
288
 
          <xi:include href="mandos-options.xml" xpointer="restore"/>
289
 
        </listitem>
290
 
      </varlistentry>
291
 
      
292
 
      <varlistentry>
293
 
        <term><option>--statedir
294
 
        <replaceable>DIRECTORY</replaceable></option></term>
295
 
        <listitem>
296
 
          <xi:include href="mandos-options.xml" xpointer="statedir"/>
297
 
        </listitem>
298
 
      </varlistentry>
299
252
    </variablelist>
300
253
  </refsect1>
301
 
  
 
254
 
302
255
  <refsect1 id="overview">
303
256
    <title>OVERVIEW</title>
304
257
    <xi:include href="overview.xml"/>
305
258
    <para>
306
259
      This program is the server part.  It is a normal server program
307
260
      and will run in a normal system environment, not in an initial
308
 
      <acronym>RAM</acronym> disk environment.
 
261
      RAM disk environment.
309
262
    </para>
310
263
  </refsect1>
311
 
  
 
264
 
312
265
  <refsect1 id="protocol">
313
266
    <title>NETWORK PROTOCOL</title>
314
267
    <para>
366
319
      </row>
367
320
    </tbody></tgroup></table>
368
321
  </refsect1>
369
 
  
 
322
 
370
323
  <refsect1 id="checking">
371
324
    <title>CHECKING</title>
372
325
    <para>
373
326
      The server will, by default, continually check that the clients
374
327
      are still up.  If a client has not been confirmed as being up
375
328
      for some time, the client is assumed to be compromised and is no
376
 
      longer eligible to receive the encrypted password.  (Manual
377
 
      intervention is required to re-enable a client.)  The timeout,
378
 
      extended timeout, checker program, and interval between checks
379
 
      can be configured both globally and per client; see
380
 
      <citerefentry><refentrytitle>mandos-clients.conf</refentrytitle>
381
 
      <manvolnum>5</manvolnum></citerefentry>.  A client successfully
382
 
      receiving its password will also be treated as a successful
383
 
      checker run.
384
 
    </para>
385
 
  </refsect1>
386
 
  
387
 
  <refsect1 id="approval">
388
 
    <title>APPROVAL</title>
389
 
    <para>
390
 
      The server can be configured to require manual approval for a
391
 
      client before it is sent its secret.  The delay to wait for such
392
 
      approval and the default action (approve or deny) can be
393
 
      configured both globally and per client; see <citerefentry>
 
329
      longer eligible to receive the encrypted password.  The timeout,
 
330
      checker program, and interval between checks can be configured
 
331
      both globally and per client; see <citerefentry>
394
332
      <refentrytitle>mandos-clients.conf</refentrytitle>
395
 
      <manvolnum>5</manvolnum></citerefentry>.  By default all clients
396
 
      will be approved immediately without delay.
397
 
    </para>
398
 
    <para>
399
 
      This can be used to deny a client its secret if not manually
400
 
      approved within a specified time.  It can also be used to make
401
 
      the server delay before giving a client its secret, allowing
402
 
      optional manual denying of this specific client.
403
 
    </para>
404
 
    
 
333
      <manvolnum>5</manvolnum></citerefentry>.
 
334
    </para>
405
335
  </refsect1>
406
 
  
 
336
 
407
337
  <refsect1 id="logging">
408
338
    <title>LOGGING</title>
409
339
    <para>
410
340
      The server will send log message with various severity levels to
411
 
      <filename class="devicefile">/dev/log</filename>.  With the
 
341
      <filename>/dev/log</filename>.  With the
412
342
      <option>--debug</option> option, it will log even more messages,
413
343
      and also show them on the console.
414
344
    </para>
415
345
  </refsect1>
416
 
  
417
 
  <refsect1 id="dbus_interface">
418
 
    <title>D-BUS INTERFACE</title>
419
 
    <para>
420
 
      The server will by default provide a D-Bus system bus interface.
421
 
      This interface will only be accessible by the root user or a
422
 
      Mandos-specific user, if such a user exists.  For documentation
423
 
      of the D-Bus API, see the file <filename>DBUS-API</filename>.
424
 
    </para>
425
 
  </refsect1>
426
 
  
 
346
 
427
347
  <refsect1 id="exit_status">
428
348
    <title>EXIT STATUS</title>
429
349
    <para>
431
351
      critical error is encountered.
432
352
    </para>
433
353
  </refsect1>
434
 
  
 
354
 
435
355
  <refsect1 id="environment">
436
356
    <title>ENVIRONMENT</title>
437
357
    <variablelist>
451
371
      </varlistentry>
452
372
    </variablelist>
453
373
  </refsect1>
454
 
  
455
 
  <refsect1 id="files">
 
374
 
 
375
  <refsect1 id="file">
456
376
    <title>FILES</title>
457
377
    <para>
458
378
      Use the <option>--configdir</option> option to change where
481
401
        </listitem>
482
402
      </varlistentry>
483
403
      <varlistentry>
484
 
        <term><filename>/var/run/mandos.pid</filename></term>
485
 
        <listitem>
486
 
          <para>
487
 
            The file containing the process id of the
488
 
            <command>&COMMANDNAME;</command> process started last.
489
 
          </para>
490
 
        </listitem>
491
 
      </varlistentry>
492
 
      <varlistentry>
493
 
        <term><filename class="devicefile">/dev/log</filename></term>
494
 
      </varlistentry>
495
 
      <varlistentry>
496
 
        <term><filename
497
 
        class="directory">/var/lib/mandos</filename></term>
498
 
        <listitem>
499
 
          <para>
500
 
            Directory where persistent state will be saved.  Change
501
 
            this with the <option>--statedir</option> option.  See
502
 
            also the <option>--no-restore</option> option.
 
404
        <term><filename>/var/run/mandos/mandos.pid</filename></term>
 
405
        <listitem>
 
406
          <para>
 
407
            The file containing the process id of
 
408
            <command>&COMMANDNAME;</command>.
503
409
          </para>
504
410
        </listitem>
505
411
      </varlistentry>
533
439
      backtrace.  This could be considered a feature.
534
440
    </para>
535
441
    <para>
 
442
      Currently, if a client is declared <quote>invalid</quote> due to
 
443
      having timed out, the server does not record this fact onto
 
444
      permanent storage.  This has some security implications, see
 
445
      <xref linkend="CLIENTS"/>.
 
446
    </para>
 
447
    <para>
 
448
      There is currently no way of querying the server of the current
 
449
      status of clients, other than analyzing its <systemitem
 
450
      class="service">syslog</systemitem> output.
 
451
    </para>
 
452
    <para>
536
453
      There is no fine-grained control over logging and debug output.
537
454
    </para>
538
455
    <para>
539
456
      Debug mode is conflated with running in the foreground.
540
457
    </para>
541
458
    <para>
542
 
      This server does not check the expire time of clients’ OpenPGP
543
 
      keys.
 
459
      The console log messages does not show a timestamp.
544
460
    </para>
545
461
  </refsect1>
546
462
  
557
473
    <informalexample>
558
474
      <para>
559
475
        Run the server in debug mode, read configuration files from
560
 
        the <filename class="directory">~/mandos</filename> directory,
561
 
        and use the Zeroconf service name <quote>Test</quote> to not
562
 
        collide with any other official Mandos server on this host:
 
476
        the <filename>~/mandos</filename> directory, and use the
 
477
        Zeroconf service name <quote>Test</quote> to not collide with
 
478
        any other official Mandos server on this host:
563
479
      </para>
564
480
      <para>
565
481
 
581
497
      </para>
582
498
    </informalexample>
583
499
  </refsect1>
584
 
  
 
500
 
585
501
  <refsect1 id="security">
586
502
    <title>SECURITY</title>
587
 
    <refsect2 id="server">
 
503
    <refsect2 id="SERVER">
588
504
      <title>SERVER</title>
589
505
      <para>
590
506
        Running this <command>&COMMANDNAME;</command> server program
591
507
        should not in itself present any security risk to the host
592
 
        computer running it.  The program switches to a non-root user
593
 
        soon after startup.
 
508
        computer running it.  The program does not need any special
 
509
        privileges to run, and is designed to run as a non-root user.
594
510
      </para>
595
511
    </refsect2>
596
 
    <refsect2 id="clients">
 
512
    <refsect2 id="CLIENTS">
597
513
      <title>CLIENTS</title>
598
514
      <para>
599
515
        The server only gives out its stored data to clients which
606
522
        <citerefentry><refentrytitle>mandos-clients.conf</refentrytitle>
607
523
        <manvolnum>5</manvolnum></citerefentry>)
608
524
        <emphasis>must</emphasis> be made non-readable by anyone
609
 
        except the user starting the server (usually root).
 
525
        except the user running the server.
610
526
      </para>
611
527
      <para>
612
528
        As detailed in <xref linkend="checking"/>, the status of all
614
530
        compromised if they are gone for too long.
615
531
      </para>
616
532
      <para>
 
533
        If a client is compromised, its downtime should be duly noted
 
534
        by the server which would therefore declare the client
 
535
        invalid.  But if the server was ever restarted, it would
 
536
        re-read its client list from its configuration file and again
 
537
        regard all clients therein as valid, and hence eligible to
 
538
        receive their passwords.  Therefore, be careful when
 
539
        restarting servers if it is suspected that a client has, in
 
540
        fact, been compromised by parties who may now be running a
 
541
        fake Mandos client with the keys from the non-encrypted
 
542
        initial RAM image of the client host.  What should be done in
 
543
        that case (if restarting the server program really is
 
544
        necessary) is to stop the server program, edit the
 
545
        configuration file to omit any suspect clients, and restart
 
546
        the server program.
 
547
      </para>
 
548
      <para>
617
549
        For more details on client-side security, see
618
 
        <citerefentry><refentrytitle>mandos-client</refentrytitle>
 
550
        <citerefentry><refentrytitle>password-request</refentrytitle>
619
551
        <manvolnum>8mandos</manvolnum></citerefentry>.
620
552
      </para>
621
553
    </refsect2>
622
554
  </refsect1>
623
 
  
 
555
 
624
556
  <refsect1 id="see_also">
625
557
    <title>SEE ALSO</title>
626
558
    <para>
627
 
      <citerefentry><refentrytitle>intro</refentrytitle>
628
 
      <manvolnum>8mandos</manvolnum></citerefentry>,
629
 
      <citerefentry><refentrytitle>mandos-clients.conf</refentrytitle>
630
 
      <manvolnum>5</manvolnum></citerefentry>,
631
 
      <citerefentry><refentrytitle>mandos.conf</refentrytitle>
632
 
      <manvolnum>5</manvolnum></citerefentry>,
633
 
      <citerefentry><refentrytitle>mandos-client</refentrytitle>
634
 
      <manvolnum>8mandos</manvolnum></citerefentry>,
635
 
      <citerefentry><refentrytitle>sh</refentrytitle>
636
 
      <manvolnum>1</manvolnum></citerefentry>
 
559
      <citerefentry>
 
560
        <refentrytitle>mandos-clients.conf</refentrytitle>
 
561
        <manvolnum>5</manvolnum></citerefentry>, <citerefentry>
 
562
        <refentrytitle>mandos.conf</refentrytitle>
 
563
        <manvolnum>5</manvolnum></citerefentry>, <citerefentry>
 
564
        <refentrytitle>password-request</refentrytitle>
 
565
        <manvolnum>8mandos</manvolnum></citerefentry>, <citerefentry>
 
566
        <refentrytitle>sh</refentrytitle><manvolnum>1</manvolnum>
 
567
      </citerefentry>
637
568
    </para>
638
569
    <variablelist>
639
570
      <varlistentry>