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
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆75Updated 8 months ago
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆224Updated 3 years ago
• mirage / xen
  Unofficial mirror of xenbits.xen.org/xen.git
  ☆75Updated last year
• m4b / elf2json
  Converts an ELF binary to a JSON representation
  ☆35Updated 9 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 7 years ago
• uw-unsat / hyperkernel
  ☆183Updated 5 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• UWNetworksLab / arrakis
  Arrakis public repository.
  ☆255Updated 7 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆40Updated 2 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 5 years ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆103Updated 2 weeks ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆95Updated 3 years ago
• clearlinux / kvmtool
  Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git
  ☆55Updated 8 years ago
• rzezeski / libMicro
  ☆11Updated 4 years ago
• rumpkernel / fs-utils
  File System Access Utilities in Userland
  ☆76Updated 9 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆206Updated 4 years ago
• project-dune / dune
  ☆199Updated 2 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆52Updated last week
• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆25Updated 2 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• djwillia / solo5
  The Solo5 unikernel
  ☆14Updated 5 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
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 5 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆96Updated 8 years ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆105Updated 2 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