Source code for the virtualization book
☆99May 8, 2026Updated 3 months ago
Alternatives and similar repositories for Book
Users that are interested in Book are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆170Sep 10, 2015Updated 10 years ago
- A bare-metal application to test specific features of the risc-v hypervisor extension☆45Nov 24, 2025Updated 8 months ago
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆60Nov 30, 2023Updated 2 years ago
- My Swift Playground☆13Jul 18, 2022Updated 4 years ago
- ☆47May 22, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆21Oct 31, 2019Updated 6 years ago
- Pipelined 64-bit RISC-V core☆17Mar 7, 2024Updated 2 years ago
- Let's write an x86 hypervisor in Rust from scratch!☆161Sep 10, 2023Updated 2 years ago
- Qemu KVM(Kernel Virtual Machine)学习笔记☆1,330Dec 13, 2022Updated 3 years ago
- My second attempt at a RISC-V CPU with learnings form my previous attempt.☆11Apr 27, 2026Updated 3 months ago
- ☆23Jun 14, 2023Updated 3 years ago
- 用Rust语言重写Linux kernel中的KVM☆15Apr 17, 2022Updated 4 years ago
- A RISC-V 32 bits, Out Of Order, single issue with branch prediction CPU, implementing the B, C, M and Zfinx extensions.☆21Updated this week
- 桃花源（英文名为 peach）是一个迷你虚拟机，用于学习 Intel 硬件虚拟化技术。☆221Mar 19, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- My Paper Reading Lists and Notes.☆26May 8, 2026Updated 3 months ago
- ☆15May 23, 2023Updated 3 years ago
- ☆17May 22, 2023Updated 3 years ago
- Trusted I/O Paths for SGX Enclaves☆18Apr 30, 2020Updated 6 years ago
- SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications☆13Jul 7, 2022Updated 4 years ago
- Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …☆13Apr 17, 2024Updated 2 years ago
- ☆14Jan 12, 2022Updated 4 years ago
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆13May 17, 2022Updated 4 years ago
- 抽出KVM代码进行注释☆60Dec 21, 2017Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Apr 18, 2020Updated 6 years ago
- Contains the code for the Flexus cycle-accurate simulator, used in QFlex.☆14Jul 14, 2026Updated 3 weeks ago
- ☆12Mar 22, 2022Updated 4 years ago
- 500篇关于虚拟化的经典资料，含CPU虚拟化，磁盘虚拟化，内存虚拟化，io虚拟化。☆741Oct 8, 2021Updated 4 years ago
- ☆41Nov 5, 2023Updated 2 years ago
- 使若干动漫网站播放番剧时加载Bilibili弹幕，Tampermonkey User Script☆16Apr 26, 2023Updated 3 years ago
- dc2020 quals kernel pwn☆12May 18, 2020Updated 6 years ago
- Scaling Up Memory Disaggregated Applications with SMART (ASPLOS 24): Predecessor of Mooncake TE☆35Jul 23, 2026Updated 3 weeks ago
- Make UEFI (BIOS) Setup IFR dumps easy to read, browse and use with UEFI Variable Tool☆16Nov 20, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A library for PCIe Transaction Layer☆62Apr 27, 2022Updated 4 years ago
- My DAC '21 work open-sourced.☆14Feb 25, 2021Updated 5 years ago
- ☆16Jan 9, 2023Updated 3 years ago
- Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony☆36May 29, 2024Updated 2 years ago
- RISC-V Security HC admin repo☆17Jan 7, 2025Updated last year
- Clio, ASPLOS'22.☆80Feb 8, 2022Updated 4 years ago
- This is a repo to store circuit design datasets☆19Jan 17, 2024Updated 2 years ago