GitHub repository: sancus-tee/sancus-main
Primary language: Makefile
Description: Top-level repository and build script