Meta repository for the USENIX ATC'25 Publication "Accelerating Nested Virtualization with HyperTurtle"
☆17Mar 22, 2026Updated 6 months ago
Alternatives and similar repositories for hyperturtle
Users that are interested in hyperturtle are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆15Oct 16, 2025Updated 11 months ago
- Copy as an OS Service☆27Nov 20, 2025Updated 10 months ago
- ☆16Jan 5, 2024Updated 2 years ago
- ☆16May 23, 2023Updated 3 years ago
- LLFree: Lock- and Log-free Allocator☆33Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Code of Truman: Constructing Device Behavior Models from OS Drivers to Fuzz Virtual Devices (NDSS 2025)☆26Apr 11, 2025Updated last year
- ☆10Dec 26, 2023Updated 2 years ago
- Miscellaneous resource about PVM☆27Sep 9, 2026Updated last month
- Lightweight type-1 Rust Hypervisor for edge devices☆209Sep 29, 2026Updated last week
- Deploy the SC2 system on Kubernetes.☆12May 7, 2025Updated last year
- ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines☆23Nov 1, 2025Updated 11 months ago
- Artefacts for: "VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments"☆44May 5, 2026Updated 5 months ago
- ☆21Apr 3, 2026Updated 6 months ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆52Sep 28, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- pKVM POC for x86☆39Sep 18, 2026Updated 3 weeks ago
- This repo models rowhammer in gem5.☆12Aug 7, 2026Updated 2 months ago
- ☆16Aug 12, 2025Updated last year
- Erebor: A Drop-In Sandbox Solution for Private Data Processing in Untrusted Confidential Virtual Machines, ACM EuroSys'25☆15Feb 6, 2026Updated 8 months ago
- ☆76Oct 6, 2023Updated 3 years ago
- ☆12Aug 13, 2014Updated 12 years ago
- A thin-hypervisor that runs on aarch64 CPUs.☆104May 28, 2026Updated 4 months ago
- ☆20Sep 21, 2026Updated 2 weeks ago
- Hypervisor from scratch in linux☆13May 8, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- EMT: An OS Framework for New Memory Translation Architectures☆36Jul 22, 2025Updated last year
- Silm your kernel with better configuration.☆41May 3, 2024Updated 2 years ago
- A fault-tolerant RDMA-based disaggregated key-value store with 1-RTT UPDATEs and GETs thanks to the SWARM replication protocol☆14Sep 25, 2024Updated 2 years ago
- Artifact for "Battering RAM: Low-Cost Interposer Attacks on Confidential Computing via Dynamic Memory Aliasing"☆39Updated this week
- Artifacts of EuroSys'24 paper "Exploring Performance and Cost Optimization with ASIC-Based CXL Memory"☆31Feb 21, 2024Updated 2 years ago
- Ymir: The Type-1 Hypervisor.☆68Jul 11, 2026Updated 2 months ago
- ☆11Jun 10, 2024Updated 2 years ago
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆46Jul 25, 2026Updated 2 months ago
- GeminiFS: A Companion File System for GPUs☆85Aug 11, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆16Apr 18, 2024Updated 2 years ago
- Deduplication over dis-aggregated memory for Serverless Computing☆14Mar 21, 2022Updated 4 years ago
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Nov 13, 2015Updated 10 years ago
- cache_ext is a framework to customize Linux page cache eviction policies using BPF. Appeared in SOSP 2025.☆101Jun 18, 2026Updated 3 months ago
- ☆12Mar 22, 2022Updated 4 years ago
- Medusa: Accelerating Serverless LLM Inference with Materialization [ASPLOS'25]☆12Nov 8, 2024Updated last year
- A fast, accurate, and easy-to-integrate memory simulator that model memory system performance with bandwidth--latency curves.☆33Sep 29, 2026Updated last week