cloudkernels / vaccelLinks
A meta repo for gathering all the necessary components for running (and releasing) a vaccel environment
☆10Updated 3 years ago
Alternatives and similar repositories for vaccel
Users that are interested in vaccel are comparing it to the libraries listed below
Sorting:
- Crates for Microsoft Hypervisor ioctls and bindings☆43Updated this week
- Experimental Linux Virtual Machine based on UML and noMMU☆67Updated 5 years ago
- 'vhost-user' device backends workspace☆111Updated this week
- ☆141Updated 3 weeks ago
- ☆144Updated last year
- A dynamic library bundling the guest payload consumed by libkrun☆117Updated last month
- Library for AMD SEV☆20Updated 3 years ago
- vAccel is a runtime library that aims to help development of applications using hardware acceleration☆47Updated last week
- A micro hypervisor for running micro VMs☆270Updated last year
- bareflank based hypervisor with guest support☆62Updated 5 years ago
- ☆156Updated this week
- Research unikernel for virtualized services☆52Updated 3 years ago
- The Hedron Microhypervisor☆82Updated 2 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆141Updated 2 years ago
- Linux kernel loader☆216Updated 3 weeks ago
- Linux in Unikernel Clothing☆71Updated 4 years ago
- Dragonball-sandbox is a collection of Rust crates to help build custom Virtual Machine Monitors and hypervisors.☆94Updated 2 years ago
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆40Updated 5 years ago
- ☆11Updated 4 years ago
- An educational hypervisor for eduOS-rs☆21Updated 3 years ago
- Provides easy-to-use Linux seccomp-bpf jailing.☆105Updated last week
- Integrate WasmEdge with seL4☆43Updated 3 years ago
- ☆40Updated 2 years ago
- Confidential Containers Shim Firmware☆119Updated last week
- A Type-1.5 hypervisor written in Rust.☆70Updated last year
- Binary wrapper that disables vDSO for a wrapped application.☆15Updated 2 months ago
- uber eXtensible Micro-Hypervisor Framework☆33Updated last year
- A Secure and Memory-Efficient Heap Allocator☆34Updated last year
- The x86_64 UEFI bootloader for rCore☆43Updated 3 years ago
- A mediated device management and persistence utility☆69Updated 6 months ago