sancus-tee / sancus-riot

A Sancus-enabled version of the RIOT OS with protected scheduler enclave and certain availability guarantees.

Geek Repo

Github PK Tool