rellermeyer / course_osLinks
CS 439 course OS
☆38Updated last year
Alternatives and similar repositories for course_os
Users that are interested in course_os are comparing it to the libraries listed below
Sorting:
- RISC-V hypervisor written in Rust☆366Updated 6 years ago
- RISC-V OS written in Rust☆141Updated last year
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆199Updated 11 months ago
- Minimal runtime / startup for RISC-V CPU's.☆304Updated 2 years ago
- Rust rewrite of the ixy network driver☆318Updated 2 years ago
- SAT solver written in Rust☆275Updated 3 years ago
- Low Level Hardware Description — A foundation for building hardware design tools.☆424Updated 3 years ago
- Rust library to program hardware performance counter.☆58Updated 3 years ago
- A Rust language and style specification for the LaTeX-package listings☆188Updated 2 years ago
- A template for building Rust applications for HiFive1 boards☆218Updated 2 years ago
- FAQ on everything from CSE delft year 1☆12Updated 6 years ago
- An HDL embedded in Rust.☆202Updated 2 years ago
- A toy operating system written in Rust on RISC V(rv32im)☆209Updated 2 years ago
- How to bootstrap support for a no_std target☆225Updated 2 months ago
- A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.☆240Updated 8 years ago
- Rust library to use x86 (amd64) specific functionality and registers.☆316Updated 2 years ago
- A FAT filesystem library implemented in Rust.☆350Updated 9 months ago
- ☆237Updated last year
- Intermediate Language (IL) for Hardware Accelerator Generators☆571Updated this week
- A framework for writing FPGA firmware using the Rust Programming Language☆443Updated 6 months ago
- Low level access to Cortex-A processors☆121Updated 3 years ago
- A Rust library for safely programming persistent memory☆75Updated last year
- The LLHD reference simulator.☆39Updated 5 years ago
- Rust implementations of compiler-rt and libm☆463Updated last week
- A hardware compiler based on LLHD and CIRCT☆264Updated 5 months ago
- An ergonomic, featureful, and easy-to-integrate implementation of the GDB Remote Serial Protocol in Rust (with no-compromises #![no_std] …☆371Updated last week
- RedLeaf Operating System☆136Updated 3 years ago
- Rust userland library for Tock☆191Updated 2 months ago
- Lightweight C parser for Rust☆233Updated 2 months ago
- My PhD thesis (eventually)☆89Updated 5 years ago