connorkuehl / xv6-rustLinks
A faithful port of the 32-bit xv6 learner's operating system to the Rust programming language
☆19Updated 7 years ago
Alternatives and similar repositories for xv6-rust
Users that are interested in xv6-rust are comparing it to the libraries listed below
Sorting:
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- An TUI based elf analyzer☆10Updated 4 years ago
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆31Updated 5 years ago
- A Rust library which is useful to handle xHCI☆46Updated last year
- A toy OS written in Rust supporting xHCI.☆43Updated last year
- ☆65Updated 2 years ago
- A crate to find DWARF debug symbols from stripped binaries☆22Updated 2 years ago
- ☆17Updated 2 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆59Updated 4 years ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆53Updated 4 years ago
- Rust implementation of Xinu educational operating system☆34Updated 5 years ago
- Initialization code ("crt0") written in Rust☆70Updated 4 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Updated last year
- A VM-based runtime environment for functional programming languages☆50Updated 8 years ago
- The 9p protocol as a serde format and message types.☆31Updated 4 years ago
- Logic programming, for Rust, from inside Rust.☆43Updated 5 years ago
- A simple example for a Rust compiler plugin☆11Updated 9 years ago
- A small standalone WebAssembly interpreter in Rust☆36Updated 6 years ago
- x86 emulator in Rust☆37Updated 4 years ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- Single-address-space capability-based nanokernel☆84Updated this week
- Ergonomic Rust framework for writing UEFI applications.☆69Updated 10 months ago
- A Rust compiler backend focused on compilation speed.☆16Updated 3 years ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆21Updated 7 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- Easy SMT solver interaction☆34Updated 3 months ago
- Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.☆32Updated last year
- FerrisGC is a thread safe Garbage Collector implementation for Global (between threads) and Local (per thread) Garbage Collector☆20Updated 5 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 5 years ago
- Libraries for handling ELF.☆15Updated 2 years ago