Alternatives and similar repositories for awesome-unikernels:

Users that are interested in awesome-unikernels are comparing it to the libraries listed below

• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆12Updated 4 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• riscv / riscv-spmp
  The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…
  ☆12Updated 5 months ago
• olivierpierre / unikernel-papers
  ☆113Updated 2 weeks ago
• ix-project / dune
  ☆31Updated 6 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆30Updated this week
• rust-vmm / rust-vmm-ci
  ☆22Updated 2 months ago
• rs3lab / KFlex
  ☆25Updated 4 months ago
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆33Updated 5 months ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated last year
• ksplit / ksplit-artifacts
  Artifacts for the paper "KSplit: Automating Device Driver Isolation"
  ☆11Updated 2 years ago
• sandfs / sandfs.github.io
  Sandboxing File System
  ☆46Updated 5 years ago
• asterinas / mlsdisk
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆16Updated 7 months ago
• stefano-garzarella / qemu-boot-time
  perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU
  ☆38Updated 4 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆30Updated 3 years ago
• rgushchin / atc
  ☆16Updated 2 years ago
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆20Updated this week
• mit-pdos / ward
  ☆31Updated 3 years ago
• rust-vmm / mshv
  Crates for Microsoft Hypervisor ioctls and bindings
  ☆32Updated this week
• andikleen / ftracer
  Function tracer for gcc
  ☆35Updated 8 years ago
• privbox / devenv
  ☆16Updated 2 years ago
• sonicyang / KML
  Kernel-Mode-Linux
  ☆24Updated 2 years ago
• new-tee-os / new-tee-os
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆15Updated 3 years ago
• gfx / hello-bpf-core
  An example app for BPF CO-RE and CI settings with GitHub Actions
  ☆14Updated 2 years ago
• mars-research / lvd-linux
  ☆19Updated 2 years ago
• hedayati / hodor
  Hodor-PKU
  ☆23Updated 3 years ago
• intel / uintr-ipc-bench
  ☆35Updated 7 months ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 3 years ago
• HExSA-Lab / nautilus
  Nautilus Aerokernel
  ☆44Updated 2 years ago
• vmexit / trio-sosp23-ae
  ☆16Updated last year