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 7 months ago
• libos-nuse / lkl-linux
  Linux kernel source tree
  ☆37Updated 6 years ago
• troglobit / toolbox
  Troglobit Toolbox -- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.
  ☆10Updated 5 months ago
• akaros / akaros
  The Akaros operating system
  ☆41Updated 5 years ago
• lunatik-ng / lunatik-ng
  Linux Kernel Lua Scripting Engine
  ☆62Updated 9 years ago
• void-linux / musl-obstack
  A standalone library to implement GNU libc's obstack
  ☆27Updated 2 years ago
• cjlano / tinysh
  tinysh: minimal shell
  ☆30Updated 13 years ago
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆33Updated this week
• troglobit / pev
  Portable Event Library
  ☆18Updated 5 months ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• kernkonzept / manifest
  The main L4Re manifest to checkout the L4Re operating system.
  ☆23Updated this week
• michaelforney / x509cert
  Tool and library for generating X.509 certificates and certificate requests (mirror)
  ☆16Updated 4 years ago
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆21Updated 10 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆50Updated 2 months ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated this week
• jserv / codezero
  Codezero Microkernel
  ☆112Updated 3 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• Ravenports / ravensource
  The sources to compile Ravenports buildsheets
  ☆19Updated this week
• jsonn / pkgsrc
  [Please switch to NetBSD/pkgsrc] Automatically updated conversion of the "pkgsrc" module from anoncvs.netbsd.org
  ☆121Updated 8 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆19Updated 13 years ago
• 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
• rdkcmf / westeros
  [DEPRECATED] repository mirror
  ☆47Updated 2 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆19Updated 2 months ago
• seL4 / capdl
  Capability Distribution Language tools for seL4
  ☆36Updated 2 months ago
• troglobit / myLinux
  myLinux is an embedded operating system based on Buildroot and Finit
  ☆86Updated last year
• mickael-guene / umeq
  Umeq is an equivalent of qemu user mode emulation with improved robustness
  ☆22Updated 6 years ago
• kraj / meta-musl
  Provide musl as system C library for OpenEmbedded/Yocto
  ☆22Updated 9 years ago
• abrt / libreport
  Generic library for reporting various problems
  ☆32Updated 2 weeks ago
• rminnich / NxM
  NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu
  ☆46Updated last year
• pkrumins / bithacks.h
  bithacks.h is a C header file containing useful bit manipulation macros
  ☆74Updated 15 years ago