Alternatives and similar repositories for mini-os

Users that are interested in mini-os are comparing it to the libraries listed below

• sysml / mini-os
  Minimalistic Operating System for Xen
  ☆66Updated 2 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• sysml / uniprof
  A stack tracer/profiler for Xen domains
  ☆30Updated 2 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆75Updated 10 months ago
• m4b / elf2json
  Converts an ELF binary to a JSON representation
  ☆35Updated 9 years ago
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆226Updated 3 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 2 months ago
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆56Updated 9 years ago
• mirage / xen
  Unofficial mirror of xenbits.xen.org/xen.git
  ☆75Updated 2 years ago
• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆25Updated 2 years ago
• mirage / mirage-platform
  Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This prov…
  ☆77Updated 4 years ago
• UWNetworksLab / arrakis
  Arrakis public repository.
  ☆255Updated 7 years ago
• uw-unsat / hyperkernel
  ☆183Updated 5 years ago
• sibylfs / sibylfs_src
  Source for SibylFS model and test tools
  ☆35Updated 4 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆95Updated 3 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 5 years ago
• rlane / ubpf
  Userspace eBPF VM (main repo is https://github.com/iovisor/ubpf)
  ☆96Updated 2 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• rzezeski / libMicro
  ☆11Updated 5 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆40Updated 2 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆54Updated last month
• generic-ebpf / generic-ebpf
  Generic eBPF runtime
  ☆151Updated 4 years ago
• nestedkernel / PerspicuOS
  This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…
  ☆55Updated 7 years ago
• mato / opam-rumprun
  OCaml 4.02 cross compiler for the rumprun unikernel stack
  ☆50Updated 9 years ago
• ix-project / dune
  ☆31Updated 6 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 6 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆65Updated 11 years ago
• djwillia / solo5
  The Solo5 unikernel
  ☆14Updated 6 years ago
• rumpkernel / fs-utils
  File System Access Utilities in Userland
  ☆77Updated 9 years ago