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 3 months ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• namhyung / global
  Modified version of GNU global for Linux kernel
  ☆15Updated 12 years ago
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆19Updated 9 years ago
• dedis / Determinator
  Experimental operating system for deterministic parallel computing
  ☆38Updated 10 years ago
• intel / KVMGT-seabios
  ☆19Updated 2 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆48Updated 2 weeks ago
• lahwaacz / tinyterm
  ☆18Updated 9 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 6 years ago
• frantony / barebox
  ☆33Updated 11 months ago
• danfis / cu
  C Unit Testing Framework
  ☆25Updated 5 years ago
• anatol / menuconfig
  Out-of-tree version of Linux' kconfig tool
  ☆17Updated last year
• troglobit / toolbox
  Troglobit Toolbox -- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.
  ☆10Updated last month
• abrt / libreport
  Generic library for reporting various problems
  ☆31Updated 2 weeks ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated 3 weeks ago
• rminnich / NxM
  NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu
  ☆45Updated last year
• jcnelson / libpstat
  Library for getting information about running processes
  ☆11Updated 9 years ago
• johnstultz-work / timetests
  Timekeeping tests
  ☆12Updated 5 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆20Updated 12 years ago
• akaros / akaros
  The Akaros operating system
  ☆41Updated 4 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆44Updated 3 years ago
• ibm-research / fusedos
  ☆52Updated 10 years ago
• bruceg / bglibs
  ☆19Updated last year
• lunatik-ng / lunatik-ng
  Linux Kernel Lua Scripting Engine
  ☆63Updated 9 years ago
• envytools / valgrind
  valgrind fork with mmap tracing support
  ☆24Updated 4 years ago
• 8l / tccboot
  TCCBOOT: TinyCC Boot Loader
  ☆12Updated 10 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated 3 weeks ago
• projectacrn / acrn-unit-test
  Unit test for ACRN, including unit test cases for hypervisor and device model.
  ☆12Updated 2 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆65Updated 11 years ago
• illumos / gfx-drm
  ☆21Updated last year