Theseus OS
The Theseus Operating System Maintainers
Pinned
Repositories
Showing 10 of 52 repositories
- Theseus Public
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.
- rust Public Forked from rust-lang/rust
Fork of Rust to support Theseus OS targets and `std` atop Theseus. Empowering everyone to build reliable and efficient software.
- irq_safety Public
Interrupt-safe locking structures, like Mutex and RwLock, for Rust no_std environments.
-
-
-
- volatile Public Forked from rust-osdev/volatile
Volatile wrapper types for Rust, with support for `zerocopy` traits.
- uefi-bootloader Public
