7
   Debian 8.0 "jessie" or Ubuntu 15.10 "Wily Werewolf" (or later).
 
 
9
   This is mostly for the support scripts which make sure that the
 
 
10
   client is installed and started in the initial RAM disk environment
 
 
11
   and that the initial RAM file system image file is automatically
 
 
12
   made unreadable.  The server and client programs themselves *could*
 
 
13
   be run in other distributions, but they *are* specific to GNU/Linux
 
 
14
   systems, and are not written with portabillity to other Unixes in
 
 
19
   The following libraries and packages are needed.  (It is possible
 
 
20
   that it might work with older versions of some of these, but these
 
 
21
   versions are confirmed to work.  Newer versions are almost
 
 
25
    These are required to build the manual pages for both the server
 
 
28
    + DocBook 4.5         http://www.docbook.org/
 
 
29
      Note: DocBook 5.0 is not compatible.
 
 
30
    + DocBook XSL stylesheets 1.71.0
 
 
31
                         http://wiki.docbook.org/DocBookXslStylesheets
 
 
36
    To build just the documentation, run the command "make doc".  Then
 
 
37
    the manual page "mandos.8", for example, can be read by running
 
 
41
    + GnuTLS 3.3          https://www.gnutls.org/
 
 
42
      (but not 3.6.0 or later, until 3.6.6, which works)
 
 
43
    + Avahi 0.6.16        https://www.avahi.org/
 
 
44
    + Python 3           https://www.python.org/
 
 
45
      Note: Python 2.7 is still supported, if the "mandos",
 
 
46
      "mandos-ctl", and "mandos-monitor" files are edited to contain
 
 
47
      "#!/usr/bin/python" instead of python3.
 
 
48
    + dbus-python 0.82.4 https://dbus.freedesktop.org/doc/dbus-python/
 
 
49
    + PyGObject 3.8      https://wiki.gnome.org/Projects/PyGObject
 
 
50
    + pkg-config https://www.freedesktop.org/wiki/Software/pkg-config/
 
 
51
    + Urwid 1.0.1         http://urwid.org/
 
 
52
      (Only needed by the "mandos-monitor" tool.)
 
 
55
    + fping 2.4b2-to-ipv6      http://www.fping.org/
 
 
56
    + ssh-keyscan from OpenSSH http://www.openssh.com/
 
 
59
    avahi-daemon python3 python3-dbus python3-gi python3-urwid
 
 
60
    pkg-config fping ssh-client
 
 
63
    + GNU C Library 2.17 https://gnu.org/software/libc/
 
 
64
    + GnuTLS 3.3        https://www.gnutls.org/
 
 
65
      (but not 3.6.0 or later, until 3.6.6 which works)
 
 
66
    + Avahi 0.6.16      https://www.avahi.org/
 
 
67
    + GnuPG 1.4.9       https://www.gnupg.org/
 
 
68
    + GPGME 1.1.6       https://www.gnupg.org/related_software/gpgme/
 
 
69
    + pkg-config https://www.freedesktop.org/wiki/Software/pkg-config/
 
 
70
    + libnl-route 3     https://www.infradead.org/~tgr/libnl/
 
 
71
    + GLib 2.40         http://www.gtk.org/
 
 
74
    + initramfs-tools 0.85i
 
 
75
                        https://tracker.debian.org/pkg/initramfs-tools
 
 
77
         http://www.kernel.org/pub/linux/utils/boot/dracut/dracut.html
 
 
80
    + OpenSSH           http://www.openssh.com/
 
 
83
    initramfs-tools dracut libgnutls-dev gnutls-bin libavahi-core-dev
 
 
84
    gnupg libgpgme11-dev pkg-config ssh libnl-route-3-dev
 
 
87
* Installing the Mandos server
 
 
91
  2. On the computer to run as a Mandos server, run the following
 
 
93
     For Debian: su - -c 'make install-server'
 
 
94
     For Ubuntu: sudo make install-server
 
 
96
     (This creates a configuration without any clients configured; you
 
 
97
     need an actually configured client to do that; see below.)
 
 
99
* Installing the Mandos client.
 
 
101
  1. Do "make all doc".
 
 
103
  2. On the computer to run as a Mandos client, run the following
 
 
105
     For Debian: su - -c 'make install-client'
 
 
106
     For Ubuntu: sudo make install-client
 
 
108
     This will also create an OpenPGP key, which will take some time
 
 
109
     and entropy, so be patient.
 
 
111
  3. Run the following command:
 
 
112
     For Debian: su - -c 'mandos-keygen --password'
 
 
113
     For Ubuntu: sudo mandos-keygen --password
 
 
115
     When prompted, enter the password/passphrase for the encrypted
 
 
116
     root file system on this client computer.  The command will
 
 
117
     output a section of text, starting with a [section header].  Copy
 
 
118
     and append this to the file "/etc/mandos/clients.conf" *on the
 
 
121
  4. Configure the client to use any special configuration needed for
 
 
122
     your local system.  Note: This is not necessary if the server is
 
 
123
     present on the same wired local network as the client.  If you do
 
 
124
     make changes to /etc/mandos/plugin-runner.conf, the initrd.img
 
 
125
     file must be updated, possibly using the following command:
 
 
127
        # update-initramfs -k all -u
 
 
129
  5. On the server computer, start the server by running the command
 
 
130
     For Debian: su - -c 'invoke-rc.d mandos start'
 
 
131
     For Ubuntu: sudo service mandos start
 
 
133
     At this point, it is possible to verify that the correct password
 
 
134
     will be received by the client by running the command:
 
 
136
        # /usr/lib/mandos/plugins.d/mandos-client \
 
 
137
                --pubkey=/etc/keys/mandos/pubkey.txt \
 
 
138
                --seckey=/etc/keys/mandos/seckey.txt \
 
 
139
                --tls-privkey=/etc/keys/mandos/tls-privkey.pem \
 
 
140
                --tls-pubkey=/etc/keys/mandos/tls-pubkey.pem; echo
 
 
142
     This command should retrieve the password from the server,
 
 
143
     decrypt it, and output it to standard output.
 
 
145
     After this, the client computer should be able to reboot without
 
 
146
     needing a password entered on the console, as long as it does not
 
 
147
     take more than five minutes to reboot.
 
 
149
* Further customizations
 
 
151
  You may want to tighten or loosen the timeouts in the server
 
 
152
  configuration files; see mandos.conf(5) and mandos-clients.conf(5).
 
 
153
  If IPsec is not used and SSH is not installed, it is suggested that
 
 
154
  a more cryptographically secure checker program is used and
 
 
155
  configured, since, without IPsec, ping packets can be faked.