GitHub repository: sancus-tee/sancus-support
Primary language: C
Description: Untrusted support software and device drivers