Minimal OpenMSP430 hardware extensions for isolation and attestation.
Detailed information is provided in our GitLab Repository at /Repo and in our docs on Sancus. Apart from that, the Sancus website can be referred to for installation instructions.
Here are directory-specific todo files (giving an overview over those dirs and containing detailed information on what has to be changed to migrate to the DE10 board)