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.
At this point the only thing I converted was the PteFlagsAarch64 struct, I didn't update the methods from the bitflags era.
As such, this doesn't compile, but the definition of that struct should be correct.
When the field is defined as an enum, I moved the field documentation to the enum, not sure if that's a good thing to do.
Here is my partial bilge conversion of
pte_flags.At this point the only thing I converted was the
PteFlagsAarch64struct, I didn't update the methods from the bitflags era. As such, this doesn't compile, but the definition of that struct should be correct. When the field is defined as an enum, I moved the field documentation to the enum, not sure if that's a good thing to do.