Pinned Loading

1. asterinas asterinas Public

   Forked from asterinas/asterinas

   Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

   Rust

2. mlsdisk mlsdisk Public

   Forked from asterinas/mlsdisk

   Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs

   Rust

3. occlum occlum Public

   Forked from occlum/occlum

   Occlum is a memory-safe, multi-process library OS for Intel SGX

   Rust 1

4. ngo ngo Public

   Forked from occlum/ngo

   Next-Gen Occlum, a work-in-progress fork of Occlum that is optimized for the next-generation of Intel SGX (on Xeon SP processors)

   Rust

5. liqinggd/ext2-rs liqinggd/ext2-rs Public

   Rust EXT2 filesystem

   Rust 2 1

6. AuditDB AuditDB Public

   Audit Proxy between PG CS using TEE

   C 1