Virtual Machine built as a CAmkES component.
☆24Aug 15, 2025Updated 7 months ago
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
- ☆17Nov 22, 2025Updated 4 months ago
- sel4 benchmarking applications and support library.☆20Dec 18, 2025Updated 3 months ago
- Tutorials for working with seL4 and/or CAmkES.☆58Feb 17, 2026Updated last month
- Component Architecture test suite and example apps.☆34Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Test suite for seL4.☆30Updated this week
- Capability Distribution Language tools for seL4☆38Updated this week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆57Mar 16, 2026Updated last week
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- ☆18Aug 5, 2025Updated 7 months ago
- 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☆51Mar 21, 2026Updated last week
- End-to-end system reference material showcasing all the different aspects of OpenAMP, on multiple vendor platforms.☆24Feb 17, 2026Updated last month
- A virtual machine monitor for the seL4 microkernel☆56Updated this week
- 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.
- ☆16May 11, 2022Updated 3 years ago
- Green Card, a foreign function interface pre-processor for Haskell.☆11Apr 14, 2015Updated 10 years ago
- Virtual Machine Monitor☆23Mar 1, 2021Updated 5 years ago
- Bedrock Bit Vector Library☆29Mar 18, 2026Updated last week
- 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
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated last year
- ☆14Nov 23, 2016Updated 9 years ago
- This is the source of the seL4 docs.☆18Updated this week
- 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.
- NOVA userland☆49Jan 6, 2014Updated 12 years ago
- ☆31Feb 7, 2026Updated last month
- 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
- RT-Hypervisor: A real-time hypervisor for automotive embedded system☆13Feb 1, 2023Updated 3 years ago
- Virtual machine monitor for L4Re☆34Updated this week
- Firmware images for hacking, reverse engineering, and teardown of the Ryze / DJI / Intel Movidius Tello☆10Dec 6, 2018Updated 7 years ago
- The libmetal module specific for use with Zephyr. This is not a mirror of the official libmetal repo.☆14Nov 6, 2025Updated 4 months ago
- The eChronos real-time operating system☆178Dec 30, 2019Updated 6 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.
- A virtual machine for using rake-compiler☆36Mar 1, 2021Updated 5 years ago
- PolarFire SoC hart software services☆52Jan 23, 2026Updated 2 months ago
- Xen hypercall and interfaces in Rust☆16Jan 14, 2025Updated last year
- 一个esp8266做的廉价无人机☆17Mar 25, 2022Updated 4 years ago
- 使用Qt制作的排序可视化Demo☆11Mar 6, 2022Updated 4 years ago
- Reflection library for Coq☆12Sep 26, 2019Updated 6 years ago
- A compact, configurable RISC-V core☆13Jul 31, 2025Updated 7 months ago