Alternatives and similar repositories for rumprun-smp

Users that are interested in rumprun-smp are comparing it to the libraries listed below

• twizzler-operating-system / twizzler-public
  Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.
  ☆65Updated 5 years ago
• multicore-locks / litl
  LiTL: Library for Transparent Lock Interposition
  ☆84Updated 2 years ago
• project-dune / dune
  ☆207Updated 3 years ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆221Updated 2 months ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆113Updated 5 years ago
• LinuxPerfStudy / LEBench
  ☆64Updated last year
• gwsystems / composite
  A component-based OS
  ☆191Updated 8 months ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆66Updated 6 years ago
• seL4 / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆11Updated last year
• xnvme / xnvme
  xNVMe: cross-platform libraries and tools for NVMe devices
  ☆272Updated last month
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆77Updated last year
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆72Updated 4 years ago
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆145Updated last week
• ublk-org / ublksrv
  ublk: userspace block device driver
  ☆183Updated last month
• nutanix / libvfio-user
  framework for emulating devices in userspace
  ☆192Updated this week
• google / ghost-userspace
  ☆236Updated last year
• stefano-garzarella / qemu-boot-time
  perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU
  ☆39Updated 5 years ago
• rcslab / aurora
  Aurora Single Level Store
  ☆31Updated last year
• 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…
  ☆284Updated last week
• gormanm / mmtests
  MMTests: Benchmarking framework primarily aimed at Linux kernel testing
  ☆238Updated this week
• antonblanchard / will-it-scale
  ☆79Updated last year
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆55Updated 3 months 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
• oracle / nvm-direct
  A C library to support applications that map Non-Volatile Memory into their address space for load/store access.
  ☆57Updated 6 years ago
• HExSA-Lab / nautilus
  Nautilus Aerokernel
  ☆46Updated 3 years ago
• ssrg-vt / popcorn-kernel
  Popcorn Linux kernel for distributed thread execution
  ☆167Updated 2 years ago
• soulxu / kvmsample
  minivm based on kvm
  ☆154Updated last year
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆157Updated last week
• bitcharmer / tlb_shootdowns
  ☆68Updated 5 years ago
• jcsaezal / pmctrack
  PMCTrack: an OS-oriented performance monitoring tool for Linux
  ☆67Updated last year