Skip to content

Secure compilation of annotated C code to Sancus enclaves

License

GPL-3.0, Unknown licenses found

Licenses found

GPL-3.0
LICENSE
Unknown
LICENSE.RUNTIME
Notifications You must be signed in to change notification settings

sancus-tee/sancus-compiler

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

sancus-compiler

Sancus examples

Secure compilation of annotated C code to Sancus enclaves.

Instalation

See sancus-main for detailed installation instructions and reproducible builds.

License

  • 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.