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
  ☆65Updated 2 years ago
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆56Updated 9 years ago
• sysml / uniprof
  A stack tracer/profiler for Xen domains
  ☆30Updated 2 years ago
• sibylfs / sibylfs_src
  Source for SibylFS model and test tools
  ☆35Updated 4 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 6 years ago
• m4b / elf2json
  Converts an ELF binary to a JSON representation
  ☆35Updated 9 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆75Updated 6 months ago
• mirage / xen
  Unofficial mirror of xenbits.xen.org/xen.git
  ☆75Updated last year
• uw-unsat / hyperkernel
  ☆183Updated 4 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆95Updated 2 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 7 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆49Updated 3 years ago
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆224Updated 3 years ago
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆25Updated 2 years ago
• rzezeski / libMicro
  ☆11Updated 4 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
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 5 years ago
• project-dune / dune
  ☆196Updated 2 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆38Updated 2 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆96Updated 8 years ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆103Updated 2 months ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆52Updated 2 weeks ago
• mirage / charrua
  A DHCP library in OCaml
  ☆55Updated last week
• microsoft / checkedc-llvm
  Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (m…
  ☆98Updated last year
• mirage / mirage-www
  Website infrastructure and content for mirage.io
  ☆172Updated 4 months ago
• nabla-containers / nabla-linux
  Experimental Linux Virtual Machine based on UML and noMMU
  ☆64Updated 4 years ago
• djwillia / solo5
  The Solo5 unikernel
  ☆14Updated 5 years ago
• ibm-research / fusedos
  ☆52Updated 10 years ago
• lkvm / lkvm
  Native Linux KVM Tool
  ☆47Updated 9 years ago