Alternatives and similar repositories for refos-manifest

Users that are interested in refos-manifest are comparing it to the libraries listed below

• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 4 months ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated last week
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• lunatik-ng / lunatik-ng
  Linux Kernel Lua Scripting Engine
  ☆63Updated 9 years ago
• troglobit / toolbox
  Troglobit Toolbox -- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.
  ☆10Updated 2 months ago
• intel / KVMGT-seabios
  ☆19Updated 3 years ago
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆31Updated 2 weeks ago
• libos-nuse / lkl-linux
  Linux kernel source tree
  ☆37Updated 5 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated 2 months ago
• Ravenports / ravensource
  The sources to compile Ravenports buildsheets
  ☆19Updated last week
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆19Updated 10 years ago
• void-linux / musl-obstack
  A standalone library to implement GNU libc's obstack
  ☆23Updated last year
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆48Updated last week
• ibm-research / fusedos
  ☆52Updated 10 years ago
• jserv / codezero
  Codezero Microkernel
  ☆109Updated 3 years ago
• open-power / skiboot
  OPAL boot and runtime firmware for POWER
  ☆109Updated last month
• mirage / xen
  Unofficial mirror of xenbits.xen.org/xen.git
  ☆75Updated 2 years ago
• jimix / k42
  K42 Kernel
  ☆29Updated 13 years ago
• esjeon / musl-clang
  A clang wrapper for musl C library. Pretty hacky, I know.
  ☆34Updated 10 years ago
• libinotify-kqueue / libinotify-kqueue
  inotify shim for BSD
  ☆59Updated 2 months ago
• akaros / akaros
  The Akaros operating system
  ☆41Updated 4 years ago
• khanzf / opengit
  OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)
  ☆50Updated last year
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated 4 months ago
• seL4 / docs
  This is the source of the seL4 docs.
  ☆16Updated this week
• AdaCore / gnatcoverage
  GNATcoverage: Coverage Analysis Tool
  ☆42Updated this week
• kernkonzept / manifest
  The main L4Re manifest to checkout the L4Re operating system.
  ☆21Updated this week
• seL4 / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆11Updated last year
• DragonFlyBSD / DeltaPorts
  FreeBSD Ports Collection + DeltaPorts = DragonFly Ports (a.k.a. DPorts)
  ☆31Updated 2 weeks ago
• OpenAMP / kvmtool-openamp-staging
  OpenAMP fork of the kvmtool Project. For experimental work and upstream staging.
  ☆10Updated last year
• jsonn / pkgsrc
  [Please switch to NetBSD/pkgsrc] Automatically updated conversion of the "pkgsrc" module from anoncvs.netbsd.org
  ☆120Updated 8 years ago