Course website for Advanced Operating Systems
☆13Apr 8, 2022Updated 3 years ago
Alternatives and similar repositories for eecs582
Users that are interested in eecs582 are comparing it to the libraries listed below
Sorting:
- Dotfile management with bare git☆21Mar 14, 2026Updated last week
- 在RISC-V处理器上实现一个轻量级的Hypervisor。☆12Dec 25, 2020Updated 5 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- Paging Debug tool for GDB using python☆13Jun 4, 2022Updated 3 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- ☆17Oct 9, 2023Updated 2 years ago
- Fuzzing General-Purpose Hardware Designs with Software Fuzzers☆24Mar 8, 2026Updated 2 weeks ago
- ☆23Apr 28, 2023Updated 2 years ago
- ☆19Dec 4, 2025Updated 3 months ago
- What if everything is a io_uring?☆17Nov 10, 2022Updated 3 years ago
- rewrite subset of linux 2.6 by OOP, C++ advanced topics☆10Jul 22, 2021Updated 4 years ago
- ☆11Apr 29, 2024Updated last year
- A suite of simple programs to test Intels' TSX extension☆14May 13, 2017Updated 8 years ago
- User-mode trap-and-emulate hypervisor for RISC-V☆14Feb 11, 2022Updated 4 years ago
- Towards a million-node RISC-V cluster.☆14Mar 6, 2025Updated last year
- Wrapper shells enabling designs generated by rocket-chip to map onto certain FPGA boards☆20Nov 27, 2024Updated last year
- Dockerfile with Vivado for CI☆27Apr 17, 2020Updated 5 years ago
- Let's write an OS which can run on ARM in Rust from scratch! (🚧WIP)☆17Mar 13, 2022Updated 4 years ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆19Jun 14, 2022Updated 3 years ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆20Mar 3, 2022Updated 4 years ago
- 基于FPGA实现用户态中断硬件机制与优化操作系统内核☆10Apr 1, 2025Updated 11 months ago
- ☆18Mar 15, 2020Updated 6 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 3 years ago
- Framework of pa code for THU compiler principle course.☆13Dec 18, 2019Updated 6 years ago
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 2 years ago
- ☆17Aug 7, 2024Updated last year
- Run SPEC CPU 2017 benchmark on OpenHarmony/HarmonyOS NEXT☆37Jun 18, 2025Updated 9 months ago
- Metronome: adaptive and precise intermittent packet retrieval in DPDK☆16Jun 13, 2024Updated last year
- 自嗨虚拟化软件 - 'Enjoy yourself' type-1 hypervisor software☆25Apr 21, 2022Updated 3 years ago
- Amazon F1-inspired Xilinx VCU118 hardware design framework☆13Jan 4, 2021Updated 5 years ago
- Take your first step in writing a compiler.☆29May 2, 2021Updated 4 years ago
- ☆53Oct 14, 2023Updated 2 years ago
- Spring 2022 Course Website for Operating System Course at Peking University☆11Oct 14, 2022Updated 3 years ago
- My RV64 CPU (Work in progress)☆19Dec 22, 2022Updated 3 years ago
- Dump Apple PMU counter definitions from `/usr/share/kpep` in macOS☆16Mar 6, 2026Updated 2 weeks ago
- A Flexible Cache Architectural Simulator☆17Sep 16, 2025Updated 6 months ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 6 years ago
- Vector search with bounded performance.☆36Jan 26, 2024Updated 2 years ago
- A GPU FP32 computation method with Tensor Cores.☆26Dec 8, 2025Updated 3 months ago