-
asterinas Public
Forked from asterinas/asterinasAsterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Rust Other UpdatedFeb 7, 2025 -
occlum-ngo Public
Forked from occlum/ngoNext-Gen Occlum, a work-in-progress fork of Occlum that is optimized for the next-generation of Intel SGX (on Xeon SP processors)
Rust Other UpdatedSep 26, 2024 -
sefs Public
Forked from occlum/sefsSimple Encrypted File System for Occlum
Rust MIT License UpdatedSep 26, 2024 -
occlum Public
Forked from occlum/occlumOcclum is a memory-safe, multi-process library OS for Intel SGX
-
tdx-on-ubuntu Public
Forked from canonical/tdxIntel confidential computing - TDX
Python GNU General Public License v3.0 UpdatedSep 25, 2024 -
ccc-linux-guest-hardening Public
Forked from intel/ccc-linux-guest-hardeningLinux Security Hardening for Confidential Compute
Python MIT License UpdatedSep 25, 2024 -
-
kafl-linux Public
Forked from IntelLabs/kafl.linuxLinux kernel branches for confidential compute research
UpdatedJul 8, 2024 -