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
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆75Updated 9 months ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆56Updated 9 years ago
• uw-unsat / hyperkernel
  ☆183Updated 5 years ago
• m4b / elf2json
  Converts an ELF binary to a JSON representation
  ☆35Updated 9 years ago
• sysml / uniprof
  A stack tracer/profiler for Xen domains
  ☆30Updated 2 years ago
• djwillia / solo5
  The Solo5 unikernel
  ☆14Updated 6 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆95Updated 3 years ago
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆225Updated 3 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 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.
  ☆53Updated last month
• sibylfs / sibylfs_src
  Source for SibylFS model and test tools
  ☆35Updated 4 years ago
• clearlinux / kvmtool
  Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git
  ☆55Updated 8 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
• mirage / charrua
  A DHCP library in OCaml
  ☆55Updated 2 months ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated last month
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆65Updated 11 years ago
• rzezeski / libMicro
  ☆11Updated 4 years ago
• project-dune / dune
  ☆200Updated 3 years ago
• ericvh / 9p-rfc
  RFC and standards documents relating the 9P protocol (and its extensions and applications)
  ☆80Updated 2 years ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆104Updated 2 years ago
• UWNetworksLab / arrakis
  Arrakis public repository.
  ☆256Updated 7 years ago
• rems-project / netsem
  Network Semantics
  ☆88Updated 6 years ago
• termite2 / Termite
  The Termite driver synthesis tool
  ☆32Updated 7 years ago
• mirage / xen
  Unofficial mirror of xenbits.xen.org/xen.git
  ☆75Updated 2 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 5 years ago
• lunatik-ng / lunatik-ng
  Linux Kernel Lua Scripting Engine
  ☆64Updated 9 years ago