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.

DFQueue

A decoupled, fault-tolerant queue written in Rust.

irq_safety

Interrupt-safe locking structures, like Mutex and RwLock, for Rust no_std environments.

wasmtime

(Ported to Theseus) Standalone JIT-style runtime for WebAssembly, using Cranelift

theseus-os.github.io

The blog website for Theseus OS info and development updates.

uefi-bootloader

kevinaboos

Personal website for Kevin Boos

libc

Raw bindings to platform APIs for Rust

rust

Fork of Rust to support Theseus OS targets and `std` atop Theseus. Empowering everyone to build reliable and efficient software.

backtrace-rs

Backtraces in Rust

bincode

A binary encoder / decoder implementation in Rust.

bootloader

An experimental pure-Rust x86 bootloader

core2

The bare essentials of std::io for use in no_std. Alloc support is optional.

homepage

noline

IO-agnostic line editor for embedded systems

object

A unified interface for reading and writing object file formats

pl011

Simple Driver for PL011 UARTS

platform

Traits for device driver objects, to be used by a kernel

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.

rangemap

Map data structure whose keys are stored as ranges

region-rs

A cross-platform virtual memory API written in Rust

rustyline

Readline Implementation in Rust

spin-rs

Spin-based synchronization primitives

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

uefi-rs

Rust wrapper for UEFI.

volatile

Volatile wrapper types for Rust, with support for `zerocopy` traits.

x86_64

Library to program x86_64 hardware.