Alternatives and similar repositories for refos-manifest:

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

• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆49Updated 3 years ago
• anatol / menuconfig
  Out-of-tree version of Linux' kconfig tool
  ☆14Updated 8 months ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated this week
• lunatik-ng / lunatik-ng
  Linux Kernel Lua Scripting Engine
  ☆64Updated 9 years ago
• Ravenports / ravensource
  The sources to compile Ravenports buildsheets
  ☆17Updated this week
• intel / KVMGT-seabios
  ☆19Updated 2 years ago
• jcnelson / libpstat
  Library for getting information about running processes
  ☆11Updated 9 years ago
• c-util / c-stdaux
  Auxiliary macros and functions for the C standard library
  ☆12Updated 7 months ago
• mohawk2 / dmake
  dmake - formerly used by openoffice.org
  ☆15Updated last year
• troglobit / toolbox
  Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.
  ☆10Updated 11 months ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆46Updated last week
• sergey-worm / wrmos
  RTOS based on L4 microkernel.
  ☆16Updated 6 years ago
• rminnich / NxM
  NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu
  ☆45Updated 9 months ago
• trueos / pc-sysinstall
  System installer (CLI) for TrueOS
  ☆6Updated 5 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 5 years ago
• GregorR / musl-pkgsrc-patches
  A collection of patches to NetBSD pkgsrc for musl libc.
  ☆15Updated 9 years ago
• Trepan-Debuggers / kshdb
  Korn Shell (93v- 2014-12-24 or greater) Debugger
  ☆36Updated 8 months ago
• BabbleSim / base
  BabbleSim base/common components. Any BabbleSim user will want some of these.
  ☆13Updated this week
• skarnet / utmps
  A secure utmp/wtmp implementation
  ☆17Updated 4 months ago
• mickael-guene / umeq
  Umeq is an equivalent of qemu user mode emulation with improved robustness
  ☆22Updated 5 years ago
• ahkok / bootchart
  An efficient and feature-rich system boot graphing tool implementation in pure C.
  ☆31Updated 12 years ago
• lluixhi / musl-extras
  More patches for MUSL, in addition to those the gentoo overlay provides.
  ☆14Updated 6 years ago
• solson / oos
  ooc operating system
  ☆42Updated 3 years ago
• termite2 / Termite
  The Termite driver synthesis tool
  ☆32Updated 7 years ago
• andrewchambers / fspec-tools
  Tools to create filesystem images from an fspec filesystem specification.
  ☆15Updated 9 months ago
• rudenoise / qemu-solo5-mirage-rpi3
  An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3
  ☆11Updated 8 years ago
• seL4 / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆10Updated 7 months ago
• troglobit / pev
  Portable Event Library
  ☆17Updated 3 months ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆34Updated 3 years ago