GitHub - S-YOU/sel4-tee-os: Google Summer Of Code 2016 project for lowRISC organization . building a trusted execution environment on top of seL4.

S-YOU / sel4-tee-os Public

forked from hybridNeo/sel4-tee-os

Notifications You must be signed in to change notification settings
Fork 0
Star 0

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

0 stars 4 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 26 Commits
src		src
Kbuild		Kbuild
Kconfig		Kconfig
Makefile		Makefile
Readme.md		Readme.md

Repository files navigation

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

About

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

Report repository

Releases

No releases published

Packages

No packages published

Languages

C 79.0%
Makefile 15.0%
C++ 6.0%