Theseus OS's repositories
Theseus
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.
irq_safety
Interrupt-safe locking structures, like Mutex and RwLock, for Rust no_std environments.
theseus-os.github.io
The blog website for Theseus OS info and development updates.
kevinaboos
Personal website for Kevin Boos
backtrace-rs
Backtraces in Rust
bootloader
An experimental pure-Rust x86 bootloader
prebuilt-aavmf
prebuilt binary files enabling UEFI support in qemu
qp-trie-rs
An idiomatic and fast QP-trie implementation in pure Rust, changed to be no_std compatible.
target-lexicon
Target "triple" support (plus Theseus OS)
theseus-builder
Rust crate which would help build and run theseus
thiserror-core2
derive(Error) for struct and enum error types