Asterinas

icon indicating a website link https://asterinas.github.io/

icon location Towards more secure operating systems and trustworthy infrastructure

Results 2 repositories owned by Asterinas

jinzhao-disk

36
Stars
9
Forks
Watchers

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

verified publisher icon asterinas

asterinas

2.3k
Stars
128
Forks
20
Watchers

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

verified publisher icon asterinas