Pinned Repositories
DFQueue
A decoupled, fault-tolerant queue written in Rust.
irq_safety
Interrupt-safe locking structures, like Mutex and RwLock, for Rust no_std environments.
libc
Raw bindings to platform APIs for Rust
new_blog
rust
Fork of Rust to support Theseus OS targets and `std` atop Theseus. Empowering everyone to build reliable and efficient software.
rust-fatfs
A FAT filesystem library implemented in Rust.
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.
theseus-os.github.io
The blog website for Theseus OS info and development updates.
uefi-bootloader
wasmtime
(Ported to Theseus) Standalone JIT-style runtime for WebAssembly, using Cranelift
Theseus OS's Repositories
theseus-os/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.
theseus-os/DFQueue
A decoupled, fault-tolerant queue written in Rust.
theseus-os/irq_safety
Interrupt-safe locking structures, like Mutex and RwLock, for Rust no_std environments.
theseus-os/wasmtime
(Ported to Theseus) Standalone JIT-style runtime for WebAssembly, using Cranelift
theseus-os/theseus-os.github.io
The blog website for Theseus OS info and development updates.
theseus-os/uefi-bootloader
theseus-os/kevinaboos
Personal website for Kevin Boos
theseus-os/libc
Raw bindings to platform APIs for Rust
theseus-os/rust
Fork of Rust to support Theseus OS targets and `std` atop Theseus. Empowering everyone to build reliable and efficient software.
theseus-os/backtrace-rs
Backtraces in Rust
theseus-os/bincode
A binary encoder / decoder implementation in Rust.
theseus-os/bootloader
An experimental pure-Rust x86 bootloader
theseus-os/core2
The bare essentials of std::io for use in no_std. Alloc support is optional.
theseus-os/homepage
theseus-os/noline
IO-agnostic line editor for embedded systems
theseus-os/object
A unified interface for reading and writing object file formats
theseus-os/pl011
Simple Driver for PL011 UARTS
theseus-os/platform
Traits for device driver objects, to be used by a kernel
theseus-os/prebuilt-aavmf
prebuilt binary files enabling UEFI support in qemu
theseus-os/qp-trie-rs
An idiomatic and fast QP-trie implementation in pure Rust, changed to be no_std compatible.
theseus-os/rangemap
Map data structure whose keys are stored as ranges
theseus-os/region-rs
A cross-platform virtual memory API written in Rust
theseus-os/rustyline
Readline Implementation in Rust
theseus-os/spin-rs
Spin-based synchronization primitives
theseus-os/target-lexicon
Target "triple" support (plus Theseus OS)
theseus-os/theseus-builder
Rust crate which would help build and run theseus
theseus-os/thiserror-core2
derive(Error) for struct and enum error types
theseus-os/uefi-rs
Rust wrapper for UEFI.
theseus-os/volatile
Volatile wrapper types for Rust, with support for `zerocopy` traits.
theseus-os/x86_64
Library to program x86_64 hardware.