Theseus is a brand new OS written from scratch in Rust to experiment with novel OS construction, higher state administration, and the way to shift OS obligations like useful resource administration into the compiler.

We’re regularly working to enhance the OS, together with its fault restoration skills for increased system availability with out redundancy, in addition to simpler and extra arbitrary reside evolution and runtime flexbility. Although nonetheless an incomplete prototype, we envision that Theseus might be helpful for high-end embedded programs or edge datacenter environments. See our revealed papers for extra details about Theseus’s design ideas and implementation philosophy, in addition to our purpose to keep away from the phenomenon of state spill or mitigate its results as a lot as potential. Additionally, see Theseus’s documentation for extra.

Undoubtedly an experimental working system, and it joins the numerous different Rust-based working programs tasks on the market.