rellermeyer / course_os
CS 439 course OS
☆38Updated 4 months ago
Alternatives and similar repositories for course_os:
Users that are interested in course_os are comparing it to the libraries listed below
- Rust support for seL4 userspace☆139Updated this week
- Rust library to program hardware performance counter.☆53Updated 2 years ago
- The LLHD reference simulator.☆37Updated 4 years ago
- RISC-V OS written in Rust☆139Updated 9 months ago
- An ergonomic, featureful, and easy-to-integrate implementation of the GDB Remote Serial Protocol in Rust (with no-compromises #![no_std] …☆329Updated last month
- Rust, cargo and QEMU setup for multi-architecture OS development.☆37Updated 4 years ago
- Verilator Porcelain☆48Updated last year
- A Hardware Description Language that doesn't make you want to pull your hair out | read-only mirror of https://gitlab.com/spade-lang/spad…☆20Updated last week
- ☆30Updated 2 years ago
- Datacenter simulation toolkit for the OpenDC project☆10Updated 4 years ago
- A safe and lightweight real-time Kernel written in Rust.☆13Updated 3 years ago
- Volatile access to memory mapped hardware registers☆37Updated last year
- R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation a…☆163Updated last year
- SAT solver written in Rust☆261Updated 2 years ago
- perf-event: a Rust interface to Linux performance monitoring☆111Updated last year
- A toolkit to create better Rust device drivers, faster☆174Updated last week
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆24Updated 11 months ago
- How to bootstrap support for a no_std target☆210Updated last year
- ☆227Updated 10 months ago
- A 5-stage pipelining RISC-V 32I simulator written in Rust.☆19Updated 3 years ago
- Comparison of Multi-threading between C++ and Rust (OpenMP vs Rayon)☆49Updated 5 years ago
- A hardware compiler based on LLHD and CIRCT☆256Updated last year
- Fearless hardware design☆176Updated 2 weeks ago
- Minimal runtime / startup for RISC-V CPU's.☆302Updated last year
- RISC-V Specific Device Tree Documentation☆42Updated 8 months ago
- Scope Graph Implementation in Rust☆22Updated 4 months ago
- Spectre V1 Proof-of-Concept Attack in the Rust Language☆11Updated last year
- Performance comparison of parallel Rust and C++☆104Updated 5 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆88Updated last week
- Low level access to Cortex-A processors☆121Updated 2 years ago