hky1999 / Unishyper
A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.
☆11Updated 7 months ago
Alternatives and similar repositories for Unishyper:
Users that are interested in Unishyper are comparing it to the libraries listed below
- 项目的主仓库☆23Updated 2 years ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆12Updated 4 months ago
- ☆12Updated last year
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆53Updated last year
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆15Updated 3 months ago
- 面向可信执行环境的OS。☆12Updated 2 years ago
- ☆14Updated last year
- ☆22Updated last year
- 基于FPGA实现用户态中断硬件机制与优化操作系统内核☆9Updated last year
- An experimental RTOS written in Rust.☆35Updated 2 years ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆32Updated 4 months ago
- 在RISC-V处理器上实现一个轻量级的Hypervisor。☆12Updated 4 years ago
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆46Updated last year
- Coffer is a RISC-V trusted execution environment developed in Rust.☆20Updated 2 years ago
- a Rust Hypervisor for mission-critical system☆52Updated 2 weeks ago
- An RISC-V experimental OS☆25Updated last year
- ☆21Updated 2 years ago
- ☆68Updated last year
- hypercraft is a VMM library written in Rust.☆50Updated 3 months ago
- RustSBI support on SiFive FU740 board; FU740 is a five-core heterogeneous processor with four SiFive U74 cores, and one SiFive S7 core☆17Updated last year
- Paging Debug tool for GDB using python☆13Updated 2 years ago
- Writing a hypervisor in Rust☆11Updated last year
- ☆10Updated 3 years ago
- ☆38Updated 2 years ago
- Group administration repository for Tech: IOPMP Task Group☆13Updated last month
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- ☆16Updated 2 years ago
- This repo holds the work area and revisions of the non-ISA specification created by the RISC-V AP-TEE TG. This specification defines the …☆52Updated 3 weeks ago
- CPU micro benchmarks☆44Updated this week
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆22Updated last year