unikernelLinux / uklLinks
Unikernel Linux
☆207Updated last week
Alternatives and similar repositories for ukl
Users that are interested in ukl are comparing it to the libraries listed below
Sorting:
- Linux in Unikernel Clothing☆71Updated 3 years ago
- A binary-compatible unikernel☆395Updated 11 months ago
- Python library for configuring and building unikernels☆178Updated 2 years ago
- Generic eBPF runtime☆151Updated 4 years ago
- A component-based OS☆190Updated 5 months ago
- ☆231Updated last year
- ☆203Updated 3 years ago
- A sandboxed execution environment for unikernels☆947Updated last week
- Popcorn Linux kernel for distributed thread execution☆162Updated 2 years ago
- Native Linux KVM Tool☆50Updated 9 years ago
- HermitCore: A C-based, lightweight unikernel☆226Updated 3 years ago
- framework for emulating devices in userspace☆183Updated last month
- State of the art for unikernels☆217Updated last year
- ☆76Updated last year
- Mirror of the official Barrelfish OS repository.☆208Updated 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
- ublk: userspace block device driver☆174Updated 3 weeks ago
- Experimental Linux Virtual Machine based on UML and noMMU☆66Updated 4 years ago
- An easy way to virtualize the running system☆347Updated last year
- A minimal kvm example☆492Updated 3 years ago
- ☆138Updated 3 months ago
- Unikernel and immutable infrastructures☆612Updated 3 years ago
- This repo is no longer active. sched_ext is now developed in https://git.kernel.org/pub/scm/linux/kernel/git/tj/sched_ext.git/☆136Updated last year
- Stand-alone Native Linux KVM Tool repo☆578Updated 9 months ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- ☆226Updated 11 months ago
- virtio implementation☆409Updated this week
- EbbRT: elastic building block runtime☆75Updated last year
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆181Updated this week
- Full history of Linux created by Yoann Padioleau and Rob Landley. See the wiki for usage instructions.☆61Updated 4 months ago