This repository contains the actively developed version of Serval. It may be unstable and break backward compatibility with previous versions of Serval. We recommend using this version unless you have a specific need to use an older version.

You can obtain older, stable snapshots of previous versions of Serval in two ways. Note that these snapshots are not under active development.

• The SOSP'19 artifact repository contains a version of Serval used to verify the security monitors described in the paper.

• The SOSP'19 tutorial materials contains a version of Serval that is used to verify a toy system. This version is useful for learning, but we do not recommend using it to verify a real system.

To install serval, first install Racket, then run

raco pkg install

from the root directory of this repository.