OpenAMP / kvmtool-openamp-stagingLinks
OpenAMP fork of the kvmtool Project. For experimental work and upstream staging.
☆10Updated last year
Alternatives and similar repositories for kvmtool-openamp-staging
Users that are interested in kvmtool-openamp-staging are comparing it to the libraries listed below
Sorting:
- Linux kernel source tree☆10Updated 8 years ago
- sel4 benchmarking applications and support library.☆19Updated 3 weeks ago
- ☆12Updated 3 years ago
- Virtual machine monitor for L4Re☆33Updated last week
- NOVA userland☆48Updated 12 years ago
- Project to build and test seL4 for many different platforms☆16Updated last week
- PonyTown Client For Windows☆12Updated 9 years ago
- K42 Kernel☆31Updated 13 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆41Updated 3 years ago
- Xen hypercall and interfaces in Rust☆16Updated last year
- QEMU with support for CHERI☆64Updated last week
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆23Updated 3 months ago
- Virtual Machine built as a CAmkES component.☆24Updated 5 months ago
- Firmware for the Jamine OpenSSD platform☆56Updated 3 years ago
- ☆48Updated 2 months ago
- Kexec Tools: Userspace portion of Kexec☆73Updated last month
- Suite of utilities for Linux on Power systems☆39Updated 3 weeks ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆22Updated 3 weeks ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆199Updated this week
- Collection of community-maintained components for Genode☆50Updated last week
- A simple set of GPL'ed utilities to read, write, and manipulate files in an ext2/ext3 filesystem.☆40Updated last year
- Prototype no-assurance reference OS personality built on seL4☆50Updated 9 months ago
- libslirp for Linux made easy peasy☆31Updated 4 months ago
- OASIS Virtual I/O Device TC: Development of formatted documents for the VIRTIO (Virtual I/O) Specification maintained by the OASIS VIRTIO…☆16Updated last month
- A tool for integrating Git with Patchwork, the web-based patch tracking system☆35Updated 9 months ago
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆14Updated 3 months ago
- Fork of pax-utils' lddtree.sh☆65Updated last year
- Kernel coredump file access☆32Updated 5 months ago
- The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…☆58Updated 2 weeks ago
- OPAL boot and runtime firmware for POWER☆110Updated 3 weeks ago