Alternatives and similar repositories for genode-manual:

Users that are interested in genode-manual are comparing it to the libraries listed below

• codelabs-ch / muen
  Official mirror of the Muen Separation Kernel repository
  ☆85Updated this week
• genodelabs / genodians.org
  Website for stories around the Genode operating system
  ☆17Updated last month
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆33Updated 9 years ago
• seL4 / camkes-manifest
  Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …
  ☆22Updated this week
• seL4 / musllibc
  ☆27Updated last month
• nfeske / gosh
  Tool to convert plain text to LaTeX, HTML, and other formats
  ☆12Updated 5 months ago
• seL4 / sel4-tutorials
  Tutorials for working with seL4 and/or CAmkES.
  ☆54Updated last month
• OneWingedShark / Byron
  The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
  ☆63Updated 4 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆39Updated 2 years ago
• jermar / microkernel.info
  Community site for microkernel projects.
  ☆28Updated last month
• Lucretia / tamp
  The Ada Microkernel Project
  ☆114Updated 9 years ago
• sgielen / cosix
  A fully capability-based operating system
  ☆26Updated 5 years ago
• docandrew / CuBit
  General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
  ☆79Updated 3 years ago
• rminnich / NxM
  NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu
  ☆45Updated 11 months ago
• Ravenports / ravenadm
  Administration tool for Ravenports
  ☆19Updated last week
• ajxs / cxos
  Operating System development experiment in Ada
  ☆36Updated 4 years ago
• 0intro / libixp
  Portable, simple C-language 9P client and server libary.
  ☆28Updated 7 months ago
• McIkye / tools
  set of ELF tools
  ☆12Updated 9 years ago
• seL4 / capdl
  Capability Distribution Language tools for seL4
  ☆35Updated last month
• remysaissy / examour-exokernel
  Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
  ☆22Updated 9 years ago
• Lucretia / bare_bones
  Ada Bare Bones OS development tutorial source code
  ☆87Updated 8 years ago
• illumos / gfx-drm
  ☆21Updated 11 months ago
• Componolit / SXML
  Formally verified, bounded-stack XML library
  ☆23Updated 4 years ago
• Ravenports / Ravenports
  Universal package builder system
  ☆70Updated this week
• alex-ab / NOVA
  NOVA Microhypervisor
  ☆9Updated last month
• alkhimey / Ada_Kernel_Module_Framework
  Framework for writing Linux kernel modules in Ada
  ☆29Updated 6 years ago
• AdaCore / langkit
  Language creation framework.
  ☆81Updated last week
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆49Updated last month
• wookey-project / ewok-kernel
  A secure and high performances microkernel for building secure MCU-based IoTs
  ☆75Updated 3 years ago