project-flexos/asplos22-ae external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

project-flexos/asplos22-ae

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/project-flexos/asplos22-ae)

Close

project-flexos / asplos22-aeView on GitHubMore

• External links
• Readme badge

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

• oscomp / proj23-lightweight-hypervisor

  View on GitHub
  在RISC-V处理器上实现一个轻量级的Hypervisor。
  ☆12Dec 25, 2020Updated 5 years ago
• jwnhy / coffer

  View on GitHub
  Coffer is a RISC-V trusted execution environment developed in Rust.
  ☆20Mar 3, 2022Updated 4 years ago
• rust-vmm / vm-fdt

  View on GitHub
  ☆20Updated this week
• OSH-2022 / x-runikraft

  View on GitHub
  2022 USTC 011705 (OSH) Course Project of Runikraft Group
  ☆13Jul 22, 2022Updated 3 years ago
• vladandrew / awesome-unikernels

  View on GitHub
  ☆11Apr 25, 2021Updated 4 years ago
• unikraft / lib-musl

  View on GitHub
  musl: A C standard library
  ☆17Feb 26, 2026Updated last week
• Oyami-Srk / RISCV-GDB-Paging

  View on GitHub
  Paging Debug tool for GDB using python
  ☆13Jun 4, 2022Updated 3 years ago
• CircuitCoder / ChannelOS

  View on GitHub
  What if everything is a io_uring?
  ☆17Nov 10, 2022Updated 3 years ago
• Jiacheng / honeycomb-osdi23-ae

  View on GitHub
  ☆16May 22, 2023Updated 2 years ago
• unikraft / app-elfloader

  View on GitHub
  Load and execute Linux ELF binaries
  ☆48Feb 26, 2026Updated last week
• TELOS-syslab / CortenMM-Artifact

  View on GitHub
  The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".
  ☆41Nov 12, 2025Updated 3 months ago
• stemnic / rustyvisor

  View on GitHub
  Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension
  ☆16Oct 21, 2024Updated last year
• asonnino / sgx-wallet

  View on GitHub
  Simple password-wallet application based on Intel SGX for linux.
  ☆17May 2, 2020Updated 5 years ago
• regehr / pldi22-llvm-tutorial

  View on GitHub
  outline and links for PLDI 2022 tutorial
  ☆17Jun 13, 2022Updated 3 years ago
• efeslab / eecs582

  View on GitHub
  Course website for Advanced Operating Systems
  ☆13Apr 8, 2022Updated 3 years ago
• unikraft / gsoc

  View on GitHub
  Unikraft Google Summer of Code
  ☆16Feb 4, 2026Updated last month
• josecm / riscv-hyp-tests

  View on GitHub
  A bare-metal application to test specific features of the risc-v hypervisor extension
  ☆45Nov 24, 2025Updated 3 months ago
• asterinas / sworndisk-oscomp

  View on GitHub
  SwornDisk是一个面向可信执行环境的、基于日志结构的安全块设备（全国大学生操作系统比赛2022）
  ☆24Aug 14, 2022Updated 3 years ago
• Maxul / Aurora

  View on GitHub
  Trusted I/O Paths for SGX Enclaves
  ☆18Apr 30, 2020Updated 5 years ago
• zeyu-zh / TrustFL

  View on GitHub
  ☆19Jul 9, 2020Updated 5 years ago
• vmexit / trio-sosp23-ae

  View on GitHub
  ☆20Sep 8, 2025Updated 5 months ago
• usi-systems / freud

  View on GitHub
  Freud, a tool to create Performance Annotations for C/C++ programs
  ☆21Jul 18, 2024Updated last year
• rcore-os / rcore-user

  View on GitHub
  User programs for rCore OS
  ☆19Jun 7, 2022Updated 3 years ago
• tier4 / umber_dds

  View on GitHub
  ☆22Updated this week
• mars-research / redleaf

  View on GitHub
  RedLeaf Operating System
  ☆138May 9, 2022Updated 3 years ago
• JohndeVostok / APE

  View on GitHub
  A GPU FP32 computation method with Tensor Cores.
  ☆26Dec 8, 2025Updated 2 months ago
• lsds / CubicleOS

  View on GitHub
  Compartmentalised monolithic library OS
  ☆20Jul 15, 2021Updated 4 years ago
• rustsbi / sbi-rt

  View on GitHub
  Simple RISC-V SBI runtime library; designated for supervisor use
  ☆25Jan 10, 2024Updated 2 years ago
• lmt-swallow / rvvisor

  View on GitHub
  [WIP] A tiny RISC-V hypervisor software written in Rust
  ☆27Dec 8, 2020Updated 5 years ago
• xrp-project / BPF-KV

  View on GitHub
  ☆27Mar 2, 2023Updated 3 years ago
• IPADS-DuVisor / kvm-tutorial

  View on GitHub
  ☆23Jun 14, 2023Updated 2 years ago
• OS-F-4 / usr-intr

  View on GitHub
  项目的主仓库
  ☆26Sep 11, 2022Updated 3 years ago
• riscv-non-isa / riscv-iommu

  View on GitHub
  RISC-V IOMMU Specification
  ☆148Updated this week
• kvm-unit-tests / kvm-unit-tests

  View on GitHub
  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
• olivierpierre / unikernel-papers

  View on GitHub
  ☆127Feb 3, 2026Updated last month
• storage-db / nerdos

  View on GitHub
  一种支持多种架构嵌入式领域的实时操作系统，支持网络通信和grub启动
  ☆66Jun 13, 2023Updated 2 years ago
• intern-space-program / avionics

  View on GitHub
  Avionics software to be developed and passed down over multiple tours.
  ☆11May 25, 2020Updated 5 years ago
• riscv / virtual-memory

  View on GitHub
  ☆39Sep 15, 2021Updated 4 years ago
• openscad / openscad-library-manager

  View on GitHub
  GSoC Project 2024 - A library manager for OpenSCAD
  ☆13Updated this week