asterinas

asterinas

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

jinzhao-disk

Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.

jinzhao-attest

Jinzhao Attest provides unified attestation workflow for TEE compatibility, usability and security.

sworndisk-oscomp

SwornDisk是一个面向可信执行环境的、基于日志结构的安全块设备（全国大学生操作系统比赛2022）

mlsdisk

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

xarray

An XArray struct implemented by Rust.

alice-and-lam

api-docs

The hosted API documentation of aster-frame

api-docs-nightly

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

asterinas.github.io

The source code of the Asterinas website

book

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

inventory

Typed distributed plugin registration

linux_vdso

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

pod

rust-ctor

Module initialization/global constructor functions for Rust

score-and-rank-contributors

A command-line tool to score and rank contributors based on their activity over a set of projects by analyzing Git histories

thank-you-dataset

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

trapframe-rs

Handle TrapFrame across kernel and user space on multiple ISAs.

btree

A B-Tree implementation.

fio

Flexible I/O Tester

gvisor

inherit-methods-macro

libflate

rust-managed

A library that provides a way to logically own objects, whether or not heap allocation is available

smoltcp

a smol tcp/ip stack