Virtual Machine built as a CAmkES component.
☆24Mar 31, 2026Updated last month
Alternatives and similar repositories for camkes-vm
Users that are interested in camkes-vm 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 CAmkES tool☆27Updated this week
- sel4 benchmarking applications and support library.☆21Mar 31, 2026Updated last month
- Tutorials for working with seL4 and/or CAmkES.☆58Mar 31, 2026Updated last month
- ☆61May 2, 2026Updated last week
- Component Architecture test suite and example apps.☆35Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Capability Distribution Language tools for seL4☆39Mar 31, 2026Updated last month
- Test suite for seL4.☆31Apr 7, 2026Updated last month
- No-assurance libraries for rapid-prototyping of seL4 apps.☆57Apr 8, 2026Updated last month
- The Rumprun unikernel and toolchain for various platforms☆11Mar 31, 2026Updated last month
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Oct 23, 2017Updated 8 years ago
- A guide on how to build and use a set of Bao guest configurations for various platforms☆52Apr 22, 2026Updated 2 weeks ago
- End-to-end system reference material showcasing all the different aspects of OpenAMP, on multiple vendor platforms.☆24Mar 31, 2026Updated last month
- A virtual machine monitor for the seL4 microkernel☆63Updated this week
- Virtual Machine Monitor☆23Mar 1, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Virtual Machine eXtension for JOS☆23Jul 3, 2014Updated 11 years ago
- Cross-platform driver for the USB 3 xHCI Debug Capability☆20Oct 21, 2021Updated 4 years ago
- This is the source of the seL4 docs.☆18Updated this week
- NOVA userland☆49Jan 6, 2014Updated 12 years ago
- ☆31Feb 7, 2026Updated 3 months ago
- mirror: https://git.kernel.org/cgit/linux/kernel/git/devicetree/devicetree-rebasing.git/☆11Jan 28, 2020Updated 6 years ago
- NOVA runtime environment (official branch)☆35Jul 1, 2021Updated 4 years ago
- Generation of Debian rootfs for multiple architectures☆15Nov 13, 2021Updated 4 years ago
- Aeternity virtual machines byte code modules☆14Apr 26, 2024Updated 2 years 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.
- RT-Hypervisor: A real-time hypervisor for automotive embedded system☆14Feb 1, 2023Updated 3 years ago
- Foundational Verification of Hybrid Systems☆15Mar 23, 2017Updated 9 years ago
- OCaml bindings for OpenAI API☆19Feb 9, 2024Updated 2 years ago
- Virtual machine monitor for L4Re☆36Apr 30, 2026Updated last week
- The libmetal module specific for use with Zephyr. This is not a mirror of the official libmetal repo.☆14Nov 6, 2025Updated 6 months ago
- ☆22Mar 1, 2026Updated 2 months ago
- The eChronos real-time operating system☆178Dec 30, 2019Updated 6 years ago
- Access hint databases from tactics.☆12Apr 22, 2020Updated 6 years ago
- PolarFire SoC hart software services☆58Apr 30, 2026Updated last week
- 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.
- open-amp module for zephyr, this is not an official mirror of the open-amp repo☆12Nov 6, 2025Updated 6 months ago
- 使用Qt制作的排序可视化Demo☆11Mar 6, 2022Updated 4 years ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated last year
- A compact, configurable RISC-V core☆13Jul 31, 2025Updated 9 months ago
- Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware archite…☆10Apr 5, 2026Updated last month
- Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.☆453Oct 8, 2025Updated 7 months ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆11Jun 28, 2024Updated last year