Secure compilation of annotated C code to Sancus enclaves.
See sancus-main for detailed installation instructions and reproducible builds.
- The Sancus compiler toolchain is licensed under GPLv3, with an explicit GCC runtime exception that allows proprietary code to be compiled with the Sancus toolchain.
- All code under
src/crypto/
implementing spongent/spongewrap cryptographic primitives and wrappers is placed in the public domain.