aVisor: A Tiny Hypervisor for Raspberry Pi
☆39Dec 13, 2025Updated 3 months ago
Alternatives and similar repositories for avisor
Users that are interested in avisor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆48May 22, 2023Updated 2 years ago
- ☆23Jun 14, 2023Updated 2 years ago
- A guide on how to build and use a set of Bao guest configurations for various platforms☆51Updated this week
- Bao, a Lightweight Static Partitioning Hypervisor☆509Mar 11, 2026Updated 2 weeks ago
- FreeBSD IoT Project☆20Nov 23, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A simple type-1 hypervisor on Raspberry Pi 3 (aarch64)☆52Sep 5, 2020Updated 5 years ago
- Virtualisation platform using CHERI for isolation and sharing☆40Jun 5, 2024Updated last year
- SGX protected filesystem demo☆12Jul 28, 2017Updated 8 years ago
- ☆12Nov 20, 2025Updated 4 months ago
- ARM-based Hypervisor for Real-Time Embedded Systems☆20Mar 5, 2019Updated 7 years ago
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆27Jan 6, 2024Updated 2 years ago
- PRTOS Hypervisor is a lightweight, open-source embedded hypervisor☆77Updated this week
- Minos2 is a micro-kernel OS☆135May 3, 2022Updated 3 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Forward Error Correction Library☆19Jun 19, 2015Updated 10 years ago
- Chaitin-Briggs register-allocation algorithm (LLVM back-end)☆12Jan 6, 2016Updated 10 years ago
- 自己写过的爬虫脚本☆12May 11, 2019Updated 6 years ago
- Xvisor: eXtensible Versatile hypervISOR☆609Mar 20, 2026Updated last week
- ☆24Sep 21, 2025Updated 6 months ago
- A Gstreamer decryptor, with an implementation for OCDM.☆12Jun 7, 2022Updated 3 years ago
- ☆17Nov 22, 2025Updated 4 months ago
- ☆12Jan 7, 2025Updated last year
- LibVMI in MiniOS☆12May 22, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Performance Counters for Apple Silicon on macOS☆20Jan 9, 2022Updated 4 years ago
- ☆10Sep 15, 2023Updated 2 years ago
- musl: A C standard library☆16Feb 26, 2026Updated last month
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- Inter-procedural analysis framework and dependency/information-flow analysis for LLVM☆19Mar 2, 2013Updated 13 years ago
- Unofficial rockchip hareware video accelerate base on gstreamer gst-libav plugin☆12Oct 17, 2018Updated 7 years ago
- Crates for Microsoft Hypervisor ioctls and bindings☆44Mar 10, 2026Updated 2 weeks ago
- 项目的主仓库☆26Sep 11, 2022Updated 3 years ago
- Midas is a memory management system that efficiently and safely harvests idle memory for applications' soft state.☆11Oct 30, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Project to build and test seL4 for many different platforms☆17Mar 17, 2026Updated last week
- MASCAB: a Micro-Architectural Side-Channel Attack Bibliography☆42Sep 7, 2018Updated 7 years ago
- The Weston Wayland Compositor☆12Oct 11, 2018Updated 7 years ago
- Virtual machine monitor for L4Re☆34Mar 20, 2026Updated last week
- Example Jop and Rop attack at Arm aarch64 platform☆10Sep 8, 2020Updated 5 years ago
- ☆11Jan 22, 2021Updated 5 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆13Sep 22, 2022Updated 3 years ago