From Recompile
Revision as of 08:26, 15 May 2017 by Teddy (Talk | contribs)

Jump to: navigation, search

Mandos is a system for allowing servers with encrypted root file systems to reboot unattended and/or remotely. See the manual for more information, including an FAQ list.

Mandos is Free Software, licensed using the GNU General Public License v3 or later.

(The Halls of Mandos is, in the fictional world of J. R. R. Tolkien, where the spirits of dead elves would go to be judged and possibly reincarnated. Similarly, the Mandos system allows “dead” servers to request reincarnation, which can be either denied or granted by the Mandos server.)


Current Status

Mandos is feature-complete; that is, it solves the problem it was created to solve. It has been included in Ubuntu ever since the Ubuntu Karmic release of October 2009, and in Debian since the Debian 6.0 "squeeze" release of February 2011. The latest versions of Mandos are uploaded to Debian unstable.

For future plans, see the TODO file.


See the manual pages below.

Architectural Overview

Keys and Communication


Plugin System


The Manual Pages




There is a mailing list “mandos-dev”. Subscribe or read its archives at

The current maintainers can be reached at


Debian and Ubuntu

Mandos is available directly in Debian and in the Ubuntu "universe" component, so to get Mandos installed in those distributions you use whatever method you normally use to select and install software packages for that distribution. There is no need to download anything from here, unless you want the latest version.

Debian stable/jessie/8

Add these two lines to your /etc/apt/sources.list file:

deb jessie-backports main
deb-src jessie-backports main

The packages there will be cryptographically signed by one of the individual developers, and the package lists will be signed by an OpenPGP key with the fingerprint “153A 37F1 0BBA 0435 987F 2C4A 7223 2973 CA34 C2C4”.

To add this key to the APT key list, and avoid warnings from aptitude and others, do this:

su -c "gpg --keyserver                    \
   --recv-key 153A37F10BBA0435987F2C4A72232973CA34C2C4;  \
   gpg --export --armor 153A37F10BBA0435987F2C4A72232973CA34C2C4 \
   | apt-key add -; gpg --batch --delete-key             \

Development Source Code

Known bugs and planned features are kept in the TODO file.

Instructions for Compiling and Installing From Source

Step 1

Check out the source code from the repository (requires the Bazaar (bzr) version control system, package name “bzr”.):

bzr branch mandos
Step 2

Build the Debian package (requires the bzr-builddeb Bazaar plugin package, package name “bzr-builddeb”):

cd mandos
bzr builddeb --builder='debuild -i -us -uc -b'

The .deb files should now be built and can be found in the parent directory.

Step 3

After installing a package, follow the instructions in the file “/usr/share/doc/package-name/README.Debian”.