Asterinas

asterinas

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

hyperenclave

HyperEnclave is an open and cross-platform trusted execution environment.

vostd

A community preview of ongoing formal verification efforts for Asterinas

trustflow

A privacy-preserving computing system based on TEE.

trustflow-teeapps

TeeApps contain a general framework for developing TEE applications and various application implementations used in federated AI/BI.

trustflow-capsule-manager

The authorization and key management module of TrustedFlow

occlum

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

atc25-artifact-evaluation

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

slides

A collection of presentations about the open-source projects under the Asterinas organization

smoltcp

a smol tcp/ip stack

benchmark

The Website for the Asterinas Benchmark. The content is generated by Benchmarks Test.

hyperenclave-driver

verus-proof-synthesis

api-docs

The hosted API documentation of Asterinas OSTD

api-docs-nightly

The nightly version of the Asterinas OSTD API documentation is always kept up-to-date with the latest version of Asterinas OSTD.

asterinas.github.io

The source code of the Asterinas website

book

The Website for the Asterinas Book. The content is generated by MdBook.

linux_vdso

Contain a vdso64.so file of Linux v6.2.10.

thank-you-dataset

The project automatically generates and maintains a list of Asterinas contributors, ranked by their scores, for display on the official website

align_ext

github-action-benchmark

grub

id-alloc

int-to-c-enum

linux_binary_cache

Contain a vmlinuz-5.15.0-105-generic file of Linux v5.15.0.

ltp

Linux Test Project (mailing list: https://lists.linux.it/listinfo/ltp)

summer-ospp-teaching-os

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

trustflow-envoy

trustflow-envoy with custom filters

verus

Verified Rust for low-level systems code modified for Asterinas

verus-analyzer

A Verus compiler front-end for IDEs (derived from rust-analyzer)