Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
... for real this time.
The key modifications are found in the
build.rsscript inwasmtime-runtime: https://github.com/theseus-os/wasmtime/commit/2e651271303b812a1d18f2e2e6029ce56749e56cAlso updated to the latest version of
cc, which is needed for our custom invocation ofccin that build script.