wallento / sel4-tee-os

Google Summer Of Code 2016 project for lowRISC organization . building a trusted execution environment on top of seL4.

seL4-TEE-OS: Secure Trusted Execution Environment built on top of seL4 microkernel.

For API and sample app visit https://github.com/hybridNeo/sel4-tee-os-sample-app

For client-os and client libraries visit https://github.com/hybridNeo/sel4-client-os