<body>
Provides classes that can be used to protect the host system from malicious
Nachos kernels.
</body>