connorkuehl / xv6-rustLinks
A faithful port of the 32-bit xv6 learner's operating system to the Rust programming language
☆18Updated 6 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:
- An TUI based elf analyzer☆10Updated 4 years ago
- A Rust library which is useful to handle xHCI☆44Updated 9 months ago
- Libraries for handling ELF.☆15Updated 2 years ago
- WIP Port of Rust's std to Minix☆45Updated 5 years ago
- optimizing compiler for a subset of C language☆35Updated 5 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆31Updated 5 years ago
- A toy OS written in Rust supporting xHCI.☆43Updated last year
- rcaml is an OCaml implementation in Rust☆63Updated 7 years ago
- A Rust compiler backend focused on compilation speed.☆16Updated 2 years ago
- Structurally-typed strict functional core language☆19Updated 7 months ago
- rv6 is a kernel & operating system written entirely in rust.☆11Updated 5 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 3 months ago
- A min-caml port to Rust☆25Updated 4 months ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- A minimal runtime for seL4 applications.☆14Updated 3 months ago
- A simple example for a Rust compiler plugin☆11Updated 8 years ago
- the peachili( Peach + Chili) programming language☆11Updated 4 years ago
- Superscalar RISC-V processor written in Clash.☆34Updated 2 years ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- [WIP] A tiny RISC-V hypervisor software written in Rust☆27Updated 4 years ago
- RISC-V Assembler☆18Updated last year
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆16Updated this week
- Handle TrapFrame across kernel and user space on multiple ISAs.☆33Updated 11 months ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Updated last year
- A prototype embedded operating system written in Rust☆61Updated 3 years ago
- An implementation of ext2 filesystem in Rust☆31Updated 7 years ago
- x86 emulator in Rust☆37Updated 3 years ago
- Initialization code ("crt0") written in Rust☆70Updated 3 years ago
- ☆17Updated 2 years ago