Virtual machine monitor for L4Re
☆36Apr 30, 2026Updated last week
Alternatives and similar repositories for uvmm
Users that are interested in uvmm 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 main L4Re manifest to checkout the L4Re operating system.☆21Apr 30, 2026Updated last week
- The core components of the L4Re operating system.☆103May 1, 2026Updated last week
- The development version of the L4Re Microkernel☆161May 1, 2026Updated last week
- ☆20Mar 31, 2026Updated last month
- ☆13Nov 20, 2025Updated 5 months ago
- 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.
- ☆17Apr 7, 2026Updated last month
- Benchmark suite for real-time behavior, including interrupt latency and context switching times☆15Oct 20, 2021Updated 4 years ago
- Xen☆25Nov 20, 2025Updated 5 months ago
- 7DRL 2019☆15Jan 7, 2023Updated 3 years ago
- Running Rust on the RISCV dev board "Sipeed Longan Nano"☆10Nov 17, 2019Updated 6 years ago
- Disjoint borrow of slices in Rust☆11Sep 1, 2019Updated 6 years ago
- Predicator, a Rust crate for generating and running dynamic code☆16Sep 25, 2018Updated 7 years ago
- ☆11Jun 16, 2018Updated 7 years ago
- Framework for writing tests for RISC-V CPU/SOC validation.☆11Jan 19, 2026Updated 3 months ago
- 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.
- Type definitions for the SWF file format (Rust and Typescript)☆12May 10, 2022Updated 3 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Mar 31, 2026Updated last month
- Dynamic parser. You can define parsing rules with a peg format☆15Mar 14, 2020Updated 6 years ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆22Mar 31, 2026Updated last month
- Audio recognition library☆13Nov 10, 2019Updated 6 years ago
- Getting started with rust on picosoc☆14Feb 27, 2023Updated 3 years ago
- Universal translater for encodings☆14Dec 20, 2021Updated 4 years ago
- Simple test of ARM NEON code. Performs a blit to the framebuffer.☆15Jul 23, 2013Updated 12 years ago
- extractor for QNX6 filesystem format.☆38Nov 22, 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.
- Barebones Raspberry Pi programming in C☆14Apr 6, 2019Updated 7 years ago
- Telegram bot api bindings for rust programming language☆12Dec 2, 2021Updated 4 years ago
- NOVA Microhypervisor☆446Apr 30, 2026Updated last week
- Unit tests for the kernel virtual machine (KVM)☆14Jan 20, 2021Updated 5 years ago
- Virtual Machine built as a CAmkES component.☆24Mar 31, 2026Updated last month
- CHERI ISA Specification☆25Mar 13, 2026Updated last month
- A virtual machine monitor for the seL4 microkernel☆63Updated this week
- An algorithm for fusing low-cost triaxial MEMS gyroscope and accelerometer measurements.☆19Mar 17, 2025Updated last year
- GZX - George's ZX Spectrum Emulator☆17Mar 1, 2026Updated 2 months ago
- 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.
- NOVA userland☆49Jan 6, 2014Updated 12 years ago
- Qemu Etrace☆17May 21, 2024Updated last year
- Programming language based on the synchronous and constraint paradigms☆15Oct 13, 2020Updated 5 years ago
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆20Sep 26, 2023Updated 2 years ago
- Virtual Machine Monitor☆23Mar 1, 2021Updated 5 years ago
- ☆23Jul 3, 2018Updated 7 years ago
- HypnoticOS is a 64-bit Hobby Operating System☆18Nov 16, 2025Updated 5 months ago