theseus-os Goto Github PK

backtrace-rs

Backtraces in Rust

bincode

A binary encoder / decoder implementation in Rust.

bm_linux

bootloader

An experimental pure-Rust x86 bootloader

cargo

The Rust package manager

core2

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

dfqueue

A decoupled, fault-tolerant queue written in Rust.

downcast-rs

getopts

A no_std version of getopts

grub

A fork of grub, modified to be compatible with OSX (Mojave)

homebrew-gcc_cross_compilers

homepage

indexmap

A hash table with consistent order and fast iteration; access items by key or sequence index

irq_safety

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

kevinaboos

Personal website for Kevin Boos

libc

Raw bindings to platform APIs for Rust

minix_osdi_ae

MINIX 3 modifications for Theseus's 2020 OSDI artifact evaluation

mpmc

copy-pasted from old rust stdlib

new_blog

noline

IO-agnostic line editor for embedded systems

object

A unified interface for reading and writing object file formats

owning-ref-rs

A library for creating references that carry their owner with them.

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

rbtree-rs

The rbtree for Rust

region-rs

A cross-platform virtual memory API written in Rust

relibc

Mirror of https://gitlab.redox-os.org/redox-os/relibc