Support

Users and developers find help regarding the demo CD, provided
applications and security-services at the PERSEUS site on sourceforge at
http://sourceforge.net/projects/perseusos/.

If you have questions related to the underlying L4 environment, please look
at http://os.inf.tu-dresden.de/L4/.

Questions related to the TrustedGRUB bootloader will be answered at
http://sourceforge.net/projects/trustedgrub/.