Theseus OS

The Theseus Operating System Maintainers

Theseus Public
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧, novel OS structure, and state management. It strives to close the semantic gap between compiler and hardware to maximally leverage the power of language safety, and thus shift OS responsibilities like resource management into the compiler.

Rust 2,059 MIT 109 25 (4 issues need help) 12 Updated Sep 13, 2022
platform Public
Traits for device driver objects, to be used by a kernel

Rust 0 0 0 0 Updated Sep 5, 2022
rust Public
Fork of Rust to support Theseus OS targets and `std` atop Theseus. Empowering everyone to build reliable and efficient software.

Rust 0 9,747 5 1 Updated Sep 4, 2022
pl011 Public
Simple Driver for PL011 UARTS

Rust 0 Apache-2.0 1 0 0 Updated Aug 30, 2022
irq_safety Public
Interrupt-safe locking structures, like Mutex and RwLock, for Rust no_std environments.

Rust 4 4 0 0 Updated Aug 25, 2022
theseus-builder Public
Rust crate which would help build and run theseus

Rust 0 0 0 0 Updated Aug 24, 2022
rangemap Public
Map data structure whose keys are stored as ranges

Rust 0 Apache-2.0 18 0 0 Updated Aug 17, 2022
libc Public
Raw bindings to platform APIs for Rust

Rust 0 Apache-2.0 778 0 0 Updated Aug 11, 2022
homepage Public

CSS 0 Apache-2.0 17 0 0 Updated Aug 5, 2022
kevinaboos Public
Personal website for Kevin Boos

HTML 0 0 0 0 Updated Jul 29, 2022

Pinned