GitHub repository: new-tee-os/new-tee-os
Primary language: Rust
Description: A brand new OS that runs in various kinds of TEEs and supports Linux ABI