A minimum Type1 Hypervisor for AArch64
☆55Jan 18, 2026Updated 7 months ago
Alternatives and similar repositories for MiniVisor
Users that are interested in MiniVisor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A thin-hypervisor that runs on aarch64 CPUs.☆104May 28, 2026Updated 3 months ago
- Writing Type-1 Hypervisor in Zig from scratch.☆43Aug 23, 2025Updated last year
- ☆48Aug 21, 2024Updated 2 years ago
- An Operating System as a Container Runtime.☆187Feb 27, 2026Updated 6 months ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆51Apr 8, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆10Jul 29, 2024Updated 2 years ago
- ☆36Dec 15, 2025Updated 8 months ago
- Toy web browser + OS in Rust = wasabi☆328Updated this week
- インターフェース誌2022年11月号第1部のプログラム☆25Sep 25, 2022Updated 3 years ago
- Let's write RISC-V CPU in Veryl!☆73Jul 24, 2026Updated last month
- gdbserver implementation on BitVisor☆26Nov 8, 2017Updated 8 years ago
- ☆18Mar 16, 2023Updated 3 years ago
- [WIP] Rust operating system kernel and reference distribution.☆78Updated this week
- ☆11Apr 18, 2024Updated 2 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.
- 『自作OSで学ぶマイクロカーネルの設計と実装』サポートサイト☆280May 6, 2025Updated last year
- ☆15Oct 7, 2019Updated 6 years ago
- ☆43Jan 5, 2026Updated 8 months ago
- Light-weight Bare Metal Hypervisor (Type 1) written in C++☆66Sep 28, 2024Updated last year
- private repository checkout action via github apps☆11Dec 28, 2022Updated 3 years ago
- Make the Windows API in Ghidra easy to read and informative.☆28Jan 10, 2022Updated 4 years ago
- Zenn の無料記事用リポジトリ☆13Jun 14, 2025Updated last year
- Ymir: The Type-1 Hypervisor.☆68Jul 11, 2026Updated last month
- ☆29Jan 27, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Developing an operating system from scratch (Advent Calendar 2018)☆18Dec 1, 2019Updated 6 years ago
- [D^3CTF 2022] pwn-d3guard attachment and official writeup (English & Chinese)☆14Mar 9, 2022Updated 4 years ago
- mruby running inside the bare-metal hypervisor☆19Mar 8, 2020Updated 6 years ago
- Opcode / Instruction finder for x86_64☆83Aug 16, 2026Updated 3 weeks ago
- ISUCON過去問と同等の環境をWSL2上で構築するためのスクリプト☆19Aug 9, 2026Updated 3 weeks ago
- aarch64 thin hypervisor for resource aggregation☆38Apr 7, 2025Updated last year
- Analyzer: CommentMap utilities for static analysis in Go☆12Nov 15, 2024Updated last year
- xv6のテキスト(book-rev6.pdf)を超適当翻訳してPDF化したもの☆28Jul 19, 2013Updated 13 years ago
- Try Kernel☆32Jan 16, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Rust Bindings for CRIU☆27Aug 31, 2026Updated last week
- ☆15Nov 23, 2025Updated 9 months ago
- MUCOM88用のMML楽曲ライブラリ☆10Aug 27, 2023Updated 3 years ago
- ☆18Dec 15, 2023Updated 2 years ago
- GitHub as a SNS☆10Jan 11, 2023Updated 3 years ago
- ☆13Dec 15, 2023Updated 2 years ago
- An TUI based elf analyzer☆10Apr 2, 2021Updated 5 years ago