Alternatives and similar repositories for ukl

Users that are interested in ukl are comparing it to the libraries listed below

• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆71Updated 4 years ago
• gwsystems / composite
  A component-based OS
  ☆199Updated this week
• google / ghost-userspace
  ☆243Updated 2 years ago
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 3 years ago
• generic-ebpf / generic-ebpf
  Generic eBPF runtime
  ☆151Updated 4 years ago
• ssrg-vt / hermitux
  A binary-compatible unikernel
  ☆398Updated last year
• Solo5 / solo5
  A sandboxed execution environment for unikernels
  ☆968Updated 2 months ago
• ssrg-vt / popcorn-kernel
  Popcorn Linux kernel for distributed thread execution
  ☆171Updated 2 years ago
• project-dune / dune
  ☆211Updated 3 years ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆222Updated 3 years ago
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆227Updated 4 years ago
• nabla-containers / nabla-linux
  Experimental Linux Virtual Machine based on UML and noMMU
  ☆67Updated 5 years ago
• nutanix / libvfio-user
  framework for emulating devices in userspace
  ☆207Updated last month
• google / ghost-kernel
  ☆231Updated last year
• antonblanchard / will-it-scale
  ☆84Updated 2 years ago
• rust-vmm / vm-virtio
  virtio implementation
  ☆433Updated last week
• intel / mOS
  ☆142Updated last week
• amluto / virtme
  An easy way to virtualize the running system
  ☆351Updated 2 years ago
• sched-ext / sched_ext
  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/
  ☆138Updated last year
• kvmtool / kvmtool
  Stand-alone Native Linux KVM Tool repo
  ☆604Updated last year
• seeker89 / unikernels
  State of the art for unikernels
  ☆220Updated last year
• shuveb / sparkler
  A virtual machine monitor and a tiny "operating system" to go with it. When you start Sparkler, it creates a virtual machine using Linux'…
  ☆120Updated 5 years ago
• stefano-garzarella / qemu-boot-time
  perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU
  ☆40Updated 5 years ago
• anakryiko / retsnoop
  Investigate kernel error call stacks
  ☆293Updated last month
• mpe / linux-fullhistory
  Full history of Linux created by Yoann Padioleau and Rob Landley. See the wiki for usage instructions.
  ☆66Updated 10 months ago
• cetic / unikernels
  Unikernel and immutable infrastructures
  ☆621Updated 3 years ago
• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆28Updated 4 years ago
• ublk-org / ublksrv
  ublk: userspace block device driver
  ☆190Updated this week
• oasis-tcs / virtio-spec
  OASIS Virtual I/O Device TC: Source code for the VIRTIO (Virtual I/O) Specification maintained by the OASIS Virtual I/O Device (VIRTIO) T…
  ☆295Updated last month
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆77Updated last year