Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
Repository Index
57,138 visible repositories in the index
1–2 of 2 · Most stars
RISC-V 64-bit Kernel written in Ada
57,138 visible repositories in the index
1–2 of 2 · Most stars
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
RISC-V 64-bit Kernel written in Ada