unikernelLinux / ukl
Unikernel Linux
☆181Updated this week
Related projects ⓘ
Alternatives and complementary repositories for ukl
- A binary-compatible unikernel☆391Updated 3 months ago
- Python library for configuring and building unikernels☆177Updated last year
- HermitCore: A C-based, lightweight unikernel☆220Updated 3 years ago
- Linux in Unikernel Clothing☆67Updated 3 years ago
- Popcorn Linux kernel for distributed thread execution☆156Updated last year
- Generic eBPF runtime☆149Updated 3 years ago
- ☆193Updated 2 years ago
- virtio implementation☆371Updated this week
- ☆221Updated 11 months ago
- A sandboxed execution environment for unikernels☆907Updated last month
- A component-based OS☆189Updated 2 months ago
- ☆594Updated last week
- framework for emulating devices in userspace☆167Updated 3 months ago
- ☆218Updated 3 months ago
- minivm based on kvm☆144Updated 5 months ago
- Stand-alone Native Linux KVM Tool repo☆521Updated last month
- ☆133Updated this week
- RISC-V hypervisor written in Rust☆350Updated 4 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆125Updated 9 months ago
- ☆281Updated last week
- ☆108Updated this week
- Experimental kernel with built-in replication.☆155Updated 8 months ago
- RedLeaf Operating System☆119Updated 2 years ago
- Examples for: Learning KVM - implement your own kernel☆359Updated last year
- ☆133Updated 6 months ago
- Experimental Linux Virtual Machine based on UML and noMMU☆63Updated 3 years ago
- utilities for Linux ftrace☆269Updated 2 weeks ago
- A minimal kvm example☆480Updated 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'…☆116Updated 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/☆132Updated 5 months ago