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
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆48Updated last week
• sergey-worm / wrmos
  RTOS based on L4 microkernel.
  ☆16Updated 6 years ago
• troglobit / pev
  Portable Event Library
  ☆17Updated 2 months ago
• Ravenports / ravensource
  The sources to compile Ravenports buildsheets
  ☆19Updated this week
• troglobit / toolbox
  Troglobit Toolbox -- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.
  ☆10Updated last month
• seL4 / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆11Updated last year
• anatol / menuconfig
  Out-of-tree version of Linux' kconfig tool
  ☆17Updated last year
• intel / KVMGT-seabios
  ☆19Updated 2 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated this week
• tinycorelinux / corebook
  ☆16Updated 8 years ago
• michaelforney / x509cert
  Tool and library for generating X.509 certificates and certificate requests (mirror)
  ☆16Updated 3 years ago
• abandonware / uselessd
  ☆12Updated 6 years ago
• c-util / c-stdaux
  Auxiliary macros and functions for the C standard library
  ☆12Updated 3 weeks ago
• cjlano / tinysh
  tinysh: minimal shell
  ☆30Updated 13 years ago
• nilfs-dev / nilfs-utils
  NILFS utilities
  ☆49Updated last year
• void-linux / musl-obstack
  A standalone library to implement GNU libc's obstack
  ☆22Updated last year
• projectacrn / acrn-unit-test
  Unit test for ACRN, including unit test cases for hypervisor and device model.
  ☆12Updated 2 years ago
• rdkcmf / westeros
  [DEPRECATED] repository mirror
  ☆46Updated 2 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆19Updated 12 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• akaros / akaros
  The Akaros operating system
  ☆41Updated 4 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated last month
• sabotage-linux / musl-cross
  A small suite of scripts and patches for building musl libc cross compilers.
  ☆35Updated 9 years ago
• 0mp / n0tes
  N0tes to the rescue!
  ☆11Updated 6 years ago
• jhuntwork / lightcube-bootstrap-musl
  Scripts to bootstrap a build environment for LightCube OS using musl libc
  ☆19Updated 10 years ago
• danfis / cu
  C Unit Testing Framework
  ☆25Updated 6 years ago
• jimix / k42
  K42 Kernel
  ☆28Updated 13 years ago
• jthornber / device-mapper-test-suite
  Test suite for device mapper targets
  ☆23Updated 4 months ago
• namhyung / global
  Modified version of GNU global for Linux kernel
  ☆15Updated 12 years ago