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
- Virtual machine monitor for L4Re☆33Updated 2 weeks ago
- Firmware for the Jamine OpenSSD platform☆52Updated 3 years ago
- Project to build and test seL4 for many different platforms☆16Updated last week
- NOVA userland☆48Updated 11 years ago
- Kexec Tools: Userspace portion of Kexec☆70Updated this week
- sel4 benchmarking applications and support library.☆19Updated 2 months ago
- Suite of utilities for Linux on Power systems☆40Updated last month
- OPAL boot and runtime firmware for POWER☆110Updated 3 weeks ago
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆23Updated last week
- An attempt at an open source toolchain for the Hexagon DSP☆38Updated 7 years ago
- Virtual Machine built as a CAmkES component.☆24Updated 2 months ago
- ☆48Updated 11 months ago
- Basic tools for building seL4 projects☆50Updated 2 months ago
- StarFive OpenEmbedded Layer☆16Updated 7 months ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆41Updated 2 years ago
- ☆12Updated 3 years ago
- Documentation for 3D commands on Virgl3D☆28Updated 6 years ago
- PonyTown Client For Windows☆10Updated 9 years ago
- RISC-V Specific Device Tree Documentation☆42Updated last year
- QEMU with support for CHERI☆61Updated last week
- OASIS Virtual I/O Device TC: Development of formatted documents for the VIRTIO (Virtual I/O) Specification maintained by the OASIS VIRTIO…☆15Updated 2 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆56Updated 9 years ago
- Xen hypercall and interfaces in Rust☆16Updated 9 months ago
- A Shell to parse ELF files☆19Updated 2 years ago
- A simple set of GPL'ed utilities to read, write, and manipulate files in an ext2/ext3 filesystem.☆37Updated last year
- K42 Kernel☆31Updated 13 years ago
- Codezero Microkernel☆112Updated 3 years ago
- SiFive OpenEmbedded / Yocto BSP Layer☆54Updated last week
- Virtio draft specification☆66Updated 12 years ago