Trusted Execution Environment OS

Operating systems designed to run within a Trusted Execution Environment, isolating security‐critical operations from the normal world.

2 projects

2,448 contributors

$25M

Most contributors

OP-TEE Trusted OS

OP-TEE (Open Portable Trusted Execution Environment) is an open source trusted OS that implements TEE Internal Core API v1.1.x specifications. It provides a secure world operating system that runs alongside the normal world OS, offering secure services and trusted applications execution in an isolated environment.

Contributors

1,981

Organizations

226

Software value

$19M

seL4

The seL4 microkernel

Contributors

467

Organizations

Software value

$6.5M

Looking for a project that’s not listed?