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 6 months ago
• troglobit / toolbox
  Troglobit Toolbox -- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.
  ☆10Updated 4 months ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆50Updated last month
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• cjlano / tinysh
  tinysh: minimal shell
  ☆30Updated 13 years ago
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆20Updated 10 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated last week
• lunatik-ng / lunatik-ng
  Linux Kernel Lua Scripting Engine
  ☆63Updated 9 years ago
• void-linux / musl-obstack
  A standalone library to implement GNU libc's obstack
  ☆27Updated last year
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆19Updated 13 years ago
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆21Updated last year
• libos-nuse / lkl-linux
  Linux kernel source tree
  ☆37Updated 6 years ago
• susam / bfc
  Brainfuck compiler and interpreter
  ☆17Updated 2 years ago
• stamourv / s3
  A Scheme TCP/IP Stack Targeting Small Embedded Applications
  ☆25Updated 11 years ago
• michaelforney / x509cert
  Tool and library for generating X.509 certificates and certificate requests (mirror)
  ☆16Updated 3 years ago
• rminnich / NxM
  NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu
  ☆46Updated last year
• Keenuts / virtio-gpu-documentation
  Documentation for 3D commands on Virgl3D
  ☆28Updated 6 years ago
• anatol / menuconfig
  Out-of-tree version of Linux' kconfig tool
  ☆19Updated last year
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆32Updated last week
• elftoolchain / elftoolchain
  The ELF Tool Chain Project (mirror of SourceForge.Net). Please do not create pull requests here on Github, Please use SourceForge's tick…
  ☆71Updated 2 years ago
• troglobit / pev
  Portable Event Library
  ☆18Updated 5 months ago
• mirage / xen
  Unofficial mirror of xenbits.xen.org/xen.git
  ☆75Updated 2 years ago
• mickael-guene / umeq
  Umeq is an equivalent of qemu user mode emulation with improved robustness
  ☆22Updated 6 years ago
• seL4 / capdl
  Capability Distribution Language tools for seL4
  ☆36Updated last month
• jserv / codezero
  Codezero Microkernel
  ☆112Updated 3 years ago
• maandree / bus
  [Feature complete] A simple daemonless system for broadcasting messages locally
  ☆54Updated 11 months ago
• esjeon / musl-clang
  A clang wrapper for musl C library. Pretty hacky, I know.
  ☆34Updated 10 years ago
• krytarowski / picotrace
  picotrace - system call process tracer
  ☆39Updated 5 years ago