FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
☆19Apr 2, 2022Updated 3 years ago
Alternatives and similar repositories for asplos22-ae
Users that are interested in asplos22-ae are comparing it to the libraries listed below
Sorting:
- 在RISC-V处理器上实现一个轻量级的Hypervisor。☆12Dec 25, 2020Updated 5 years ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆20Mar 3, 2022Updated 4 years ago
- ☆20Updated this week
- 2022 USTC 011705 (OSH) Course Project of Runikraft Group☆13Jul 22, 2022Updated 3 years ago
- ☆11Apr 25, 2021Updated 4 years ago
- musl: A C standard library☆17Feb 26, 2026Updated last week
- Paging Debug tool for GDB using python☆13Jun 4, 2022Updated 3 years ago
- What if everything is a io_uring?☆17Nov 10, 2022Updated 3 years ago
- ☆16May 22, 2023Updated 2 years ago
- Load and execute Linux ELF binaries☆48Feb 26, 2026Updated last week
- The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".☆41Nov 12, 2025Updated 3 months ago
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆16Oct 21, 2024Updated last year
- Simple password-wallet application based on Intel SGX for linux.☆17May 2, 2020Updated 5 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- Course website for Advanced Operating Systems☆13Apr 8, 2022Updated 3 years ago
- Unikraft Google Summer of Code☆16Feb 4, 2026Updated last month
- A bare-metal application to test specific features of the risc-v hypervisor extension☆45Nov 24, 2025Updated 3 months ago
- SwornDisk是一个面向可信执行环境的、基于日志结构的安全块设备(全国大学生操作系统比赛2022)☆24Aug 14, 2022Updated 3 years ago
- Trusted I/O Paths for SGX Enclaves☆18Apr 30, 2020Updated 5 years ago
- ☆19Jul 9, 2020Updated 5 years ago
- ☆20Sep 8, 2025Updated 5 months ago
- Freud, a tool to create Performance Annotations for C/C++ programs☆21Jul 18, 2024Updated last year
- User programs for rCore OS☆19Jun 7, 2022Updated 3 years ago
- ☆22Updated this week
- RedLeaf Operating System☆138May 9, 2022Updated 3 years ago
- A GPU FP32 computation method with Tensor Cores.☆26Dec 8, 2025Updated 2 months ago
- Compartmentalised monolithic library OS☆20Jul 15, 2021Updated 4 years ago
- Simple RISC-V SBI runtime library; designated for supervisor use☆25Jan 10, 2024Updated 2 years ago
- [WIP] A tiny RISC-V hypervisor software written in Rust☆27Dec 8, 2020Updated 5 years ago
- ☆27Mar 2, 2023Updated 3 years ago
- ☆23Jun 14, 2023Updated 2 years ago
- 项目的主仓库☆26Sep 11, 2022Updated 3 years ago
- RISC-V IOMMU Specification☆148Updated this week
- This is a read-only mirror of the kvm-unit-tests repository from https://gitlab.com/kvm-unit-tests/kvm-unit-tests. Pull requests here at …☆31Jan 23, 2026Updated last month
- ☆127Feb 3, 2026Updated last month
- 一种支持多种架构嵌入式领域的实时操作系统,支持网络通信和grub启动☆66Jun 13, 2023Updated 2 years ago
- Avionics software to be developed and passed down over multiple tours.☆11May 25, 2020Updated 5 years ago
- ☆39Sep 15, 2021Updated 4 years ago
- GSoC Project 2024 - A library manager for OpenSCAD☆13Updated this week