Virtual machine monitor for L4Re
☆36Jun 12, 2026Updated this 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.☆21Updated this week
- The core components of the L4Re operating system.☆105Updated this week
- The development version of the L4Re Microkernel☆163Updated this week
- The device tree library☆22Updated this week
- ☆20May 19, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12Jun 3, 2026Updated 2 weeks ago
- This repository contains patches for the Rust to L4Re OS port. It's a place to gather patches before they find their way in the upstream …☆17Nov 14, 2023Updated 2 years ago
- ☆18Jun 11, 2026Updated last week
- Xen☆26May 14, 2026Updated last month
- Running Rust on the RISCV dev board "Sipeed Longan Nano"☆10Nov 17, 2019Updated 6 years ago
- Framework for writing tests for RISC-V CPU/SOC validation.☆11Jan 19, 2026Updated 4 months ago
- Type definitions for the SWF file format (Rust and Typescript)☆13May 10, 2022Updated 4 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Mar 31, 2026Updated 2 months ago
- Trusty URI specification☆22Feb 23, 2015Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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…☆23Jun 12, 2026Updated last week
- Simple test of ARM NEON code. Performs a blit to the framebuffer.☆15Jul 23, 2013Updated 12 years ago
- extractor for QNX6 filesystem format.☆39Nov 22, 2023Updated 2 years ago
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆26Jun 1, 2026Updated 2 weeks ago
- 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☆449Apr 30, 2026Updated last month
- Unit tests for the kernel virtual machine (KVM)☆14Jan 20, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Nerves Toolchains☆16Feb 12, 2026Updated 4 months ago
- CHERI ISA Specification☆25Mar 13, 2026Updated 3 months ago
- A virtual machine monitor for the seL4 microkernel☆69Updated this week
- NOVA userland☆50Jan 6, 2014Updated 12 years ago
- 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
- React HOC with 🔮Utterances Comment Widget Supported☆16Sep 17, 2019Updated 6 years ago
- Minimal startup / runtime for MSP430 microcontrollers☆19Aug 19, 2025Updated 9 months ago
- AI Agents on 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.
- This is the source of the seL4 docs.☆18Jun 12, 2026Updated last week
- XtratuM Mirror☆20Apr 7, 2017Updated 9 years ago
- Safe interface to the JNI library in Rust.☆20Jan 4, 2022Updated 4 years ago
- FreeRTOS for Jailhouse Cells☆54Mar 22, 2023Updated 3 years ago
- A C++ memory pool that is Boost-friendly and performance oriented (zero-malloc).☆23Nov 20, 2025Updated 6 months ago
- Real-time hypervisor for ARM☆65May 22, 2016Updated 10 years ago
- MZ-700 Original Games Project☆16May 26, 2026Updated 3 weeks ago