rcore-os / rcore-userView external linksLinks
User programs for rCore OS
☆19Jun 7, 2022Updated 3 years ago
Alternatives and similar repositories for rcore-user
Users that are interested in rcore-user are comparing it to the libraries listed below
Sorting:
- 在RISC-V处理器上实现一个轻量级的Hypervisor。☆12Dec 25, 2020Updated 5 years ago
- ☆19Jul 30, 2024Updated last year
- a FPGA tank game for ZJU Digital logic design☆10Jan 17, 2021Updated 5 years ago
- a compiler for CSC-Compiler-2022☆13Aug 22, 2022Updated 3 years ago
- Peloton Design Docs☆28Aug 1, 2018Updated 7 years ago
- Loadable Module for Keystone Enclave☆19Sep 24, 2022Updated 3 years ago
- Paging Debug tool for GDB using python☆13Jun 4, 2022Updated 3 years ago
- Benchmark to test different stop the exploit mitigations☆18Jan 8, 2019Updated 7 years ago
- What if everything is a io_uring?☆16Nov 10, 2022Updated 3 years ago
- ☆16May 22, 2023Updated 2 years ago
- ☆12Apr 19, 2023Updated 2 years ago
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆16Oct 21, 2024Updated last year
- A small RISC-V kernel coding by C, tested on sifive unmatched board.☆16Aug 20, 2022Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆17Nov 15, 2021Updated 4 years ago
- Memory consistency model checking and test generation library.☆16Oct 14, 2016Updated 9 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 3 years ago
- A bare-metal application to test specific features of the risc-v hypervisor extension☆44Nov 24, 2025Updated 2 months ago
- hypercraft is a VMM library written in Rust.☆54Oct 20, 2024Updated last year
- (wip) re-implementation xv6 in rust☆16Dec 13, 2018Updated 7 years ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆21Mar 3, 2022Updated 3 years ago
- 各类内核的设计思路☆19May 19, 2021Updated 4 years ago
- ☆20Mar 1, 2021Updated 4 years ago
- ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines☆21Nov 1, 2025Updated 3 months ago
- ☆42Nov 5, 2023Updated 2 years ago
- rustsbi 开发教程☆42Mar 6, 2023Updated 2 years ago
- 没分支的 rCore-Tutorial☆49Jan 8, 2026Updated last month
- uCore MIPS32 porting☆18Dec 16, 2019Updated 6 years ago
- Implementation of Deepmind's AlphaZero algorithm with Caffe and C++☆20Apr 14, 2018Updated 7 years ago
- TEE hardware - based on the chipyard repository - hardware to accelerate TEE☆24Dec 16, 2022Updated 3 years ago
- Distributed Systems Reading Group☆20Nov 28, 2017Updated 8 years ago
- ☆22Nov 12, 2020Updated 5 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆22Feb 19, 2020Updated 5 years ago
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆59Nov 30, 2023Updated 2 years ago
- [WIP] A tiny RISC-V hypervisor software written in Rust☆27Dec 8, 2020Updated 5 years ago
- Simple RISC-V SBI runtime library; designated for supervisor use☆25Jan 10, 2024Updated 2 years ago
- ☆29Jul 4, 2018Updated 7 years ago
- Skeleton code for new 6.858 final project --- an encrypted and authenticated file system☆24Apr 20, 2022Updated 3 years ago
- 洛佳的异步内核实验室☆25May 22, 2021Updated 4 years ago
- ☆23Jun 14, 2023Updated 2 years ago