asterinas

Asterinas 旨在成為可投入生產的 Linux 替代方案——記憶體安全、高效能等特性。