Alternatives and similar repositories for l4openbsd

Users that are interested in l4openbsd are comparing it to the libraries listed below

• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated 2 weeks ago
• codelabs-ch / muen
  Official mirror of the Muen Separation Kernel repository
  ☆88Updated 2 weeks ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆41Updated 2 years ago
• nfeske / genode-manual
  Reference manual for the Genode OS Framework
  ☆24Updated this week
• capros-os / capros
  CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…
  ☆55Updated 3 years ago
• void-linux / musl-obstack
  A standalone library to implement GNU libc's obstack
  ☆23Updated last year
• leahneukirchen / obase
  a port of the OpenBSD userland to Linux | unmaintained: use outils
  ☆54Updated 11 years ago
• skarnet / utmps
  A secure utmp/wtmp implementation
  ☆19Updated 2 months ago
• keyfender / keyfender
  Secure HSM implementation based on MirageOS
  ☆37Updated 2 years ago
• talex5 / qubes-test-mirage
  Scripts I use to test Mirage unikernels on QubesOS
  ☆10Updated 5 years ago
• kusumi / netbsd_hammer2
  HAMMER2 file system for NetBSD
  ☆56Updated 2 weeks ago
• Subsentient / epoch
  The Epoch Init System
  ☆110Updated 8 years ago
• ryao / crunch
  Linux fork of FreeBSD crunch
  ☆17Updated 13 years ago
• arichardson / bmake
  A git repository for the bmake releases
  ☆23Updated 3 years ago
• dimkr / lok
  A Linux port of OpenBSD's awk
  ☆14Updated 6 years ago
• ericvh / 9p-rfc
  RFC and standards documents relating the 9P protocol (and its extensions and applications)
  ☆82Updated 2 years ago
• aryx / fork-kencc
  DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/
  ☆33Updated last month
• Ravenports / Ravenports
  Universal package builder system
  ☆76Updated 3 weeks ago
• genodelabs / goa
  Tool for streamlining the development of Genode applications
  ☆24Updated 2 months ago
• robur-coop / tlstunnel
  A TLS reverse proxy unikernel
  ☆36Updated 5 months ago
• GregorR / musl-pkgsrc-patches
  A collection of patches to NetBSD pkgsrc for musl libc.
  ☆16Updated 10 years ago
• sabotage-linux / lex
  posix compatible lex utility which compiles to ~60KB
  ☆27Updated 2 years ago
• khanzf / opengit
  OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)
  ☆50Updated last year
• McIkye / tools
  set of ELF tools
  ☆12Updated 9 years ago
• rminnich / t9
  a Plan 9-like system based using tamago
  ☆18Updated last year
• aperezdc / 9pfuse
  FUSE-based 9P client from the Plan9 Port project, standalone version
  ☆33Updated last year
• bluhm / tcpbench-portable
  OpenBSD tcpbench ported to GNU/Linux
  ☆15Updated last week
• davidchisnall / dtc
  FreeBSD Device Tree Compiler
  ☆21Updated last month
• kristapsdz / openradtool
  application source generator
  ☆48Updated 2 weeks ago
• virtualsquare / vuos
  view based o.s.
  ☆41Updated 3 months ago