unikernelLinux / uklLinks
Unikernel Linux
☆206Updated this week
Alternatives and similar repositories for ukl
Users that are interested in ukl are comparing it to the libraries listed below
Sorting:
- A binary-compatible unikernel☆394Updated 10 months ago
- Linux in Unikernel Clothing☆71Updated 3 years ago
- Python library for configuring and building unikernels☆178Updated 2 years ago
- Popcorn Linux kernel for distributed thread execution☆160Updated last year
- A sandboxed execution environment for unikernels☆942Updated 3 months ago
- HermitCore: A C-based, lightweight unikernel☆226Updated 3 years ago
- Generic eBPF runtime☆151Updated 4 years ago
- A component-based OS☆189Updated 4 months ago
- ☆230Updated last year
- ☆202Updated 3 years ago
- RISC-V hypervisor written in Rust☆360Updated 5 years ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆180Updated this week
- virtio implementation☆403Updated this week
- ☆637Updated this week
- An easy way to virtualize the running system☆344Updated last year
- Mirror of the official Barrelfish OS repository.☆206Updated 2 years ago
- A virtual machine monitor and a tiny "operating system" to go with it. When you start Sparkler, it creates a virtual machine using Linux'…☆118Updated 4 years ago
- Build and use highly customized and ultra-lightweight unikernel VMs.☆305Updated this week
- framework for emulating devices in userspace☆176Updated 2 weeks ago
- ☆225Updated 10 months ago
- ☆123Updated 2 weeks ago
- State of the art for unikernels☆217Updated last year
- Stand-alone Native Linux KVM Tool repo☆567Updated 8 months ago
- minivm based on kvm☆150Updated last year
- Userspace eBPF VM☆895Updated last week
- A libbpf based tracer to help figure out what an application is doing.☆34Updated this week
- ☆324Updated 3 weeks ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- A minimal kvm example☆486Updated 2 years ago
- ☆139Updated this week