Development
The development instructions are stored in the repository README.
This is documentation for SecEnv 1.2, which is no longer actively maintained.
For up-to-date documentation, see the latest version (Next).
The development instructions are stored in the repository README.