3 ms·
Theseus OS is a Safe-Language OS which solves almost all problems of today’s OSes by leveraging Rust’s compiler guarantees. https://www.theseus-os.com/Theseus/
by Aerbil313 3y ago
Theseus OS is a Safe-Language OS which solves almost all problems of today’s OSes by leveraging Rust’s compiler guarantees.
https://www.theseus-os.com/Theseus/book/index.html https://www.theseus-os.com/Theseus/book/index.html