Alternatives and similar repositories for genode

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

• andreiw / nexus9_demo
  64-bit ARM OS/Kernel/Systems Development Demo on a Nexus 9
  ☆24Updated 10 years ago
• osresearch / bioswrite
  Command line tool to write to x86 boot flash chips via the PCH
  ☆14Updated 8 years ago
• glandium / extract-symvers
  Extract Module.symvers info from a binary kernel
  ☆50Updated 10 years ago
• devuan / arm-sdk
  OS development toolkit for various ARM embedded devices
  ☆24Updated 4 years ago
• blackberry / android-linux-kernel
  BlackBerry Android Device Kernel Source Code
  ☆41Updated 2 years ago
• retrage / elvm
  EsoLangVM Compiler Infrastructure
  ☆11Updated last year
• Tasssadar / kexec-tools
  kexec-tools with hardboot support for MultiROM
  ☆21Updated last year
• HardenedBSD / secadm
  HardenedBSD Security Administration
  ☆29Updated 5 years ago
• ibm-research / fusedos
  ☆53Updated 11 years ago
• chrissicool / l4openbsd
  OpenBSD/L4 port
  ☆18Updated 8 years ago
• cyring / xfreq
  Project is now superseded by CoreFreq
  ☆47Updated 8 years ago
• ramosian-glider / clang-kernel-build
  Steps to build the Linux kernel using Clang
  ☆102Updated 4 years ago
• kusma / tegra-re
  Reverse Engineering of NVIDIA's Tegra driver for Linux
  ☆35Updated 8 years ago
• corwin-mcknight / Cedille
  A kernel with a purpose - to keep most of the code out of the kernel
  ☆15Updated 6 years ago
• nfeske / genode-manual
  Reference manual for the Genode OS Framework
  ☆24Updated 3 months ago
• thestinger / paxd
  PaX exception daemon - Temporarily abandoned due to the PaX and grsecurity patches becoming private
  ☆40Updated 9 years ago
• notaz / ia32rtools
  ☆174Updated 10 years ago
• efidroid / uefi_apps_LKL
  EDK II LKL Filesystem Driver
  ☆13Updated 8 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆37Updated 10 years ago
• darwin-on-arm / GenericBooter
  Version 2.0
  ☆13Updated 10 years ago
• alex-ab / NOVA
  NOVA Microhypervisor
  ☆11Updated 2 weeks ago
• coreboot / serialice
  SerialICE is a flexible, software based system software debugger
  ☆36Updated 5 months ago
• aquynh / unidos
  MSDOS emulator built on top of Unicorn engine
  ☆140Updated 9 years ago
• coreboot / bios_extract
  collection of scripts to extract files from BIOS images
  ☆90Updated 2 years ago
• skochinsky / jeff-tools
  JEFF file format tools
  ☆27Updated 10 years ago
• IllegalArgument / Huffman11
  Huffman decompression for version 11.x Intel ME modules
  ☆32Updated 8 years ago
• ngkaho1234 / fuse-lwext4
  ☆14Updated 8 years ago
• jameshilliard / linux-grsec
  unofficial grsecurity gpl release
  ☆24Updated 7 years ago
• metta-systems / metta
  Metta OS
  ☆73Updated last year
• linux-scraping / linux-grsecurity
  grsecurity is the most advanced Linux kernel hardening patchset. This repository, not affiliated with the upstream project, aggregate mos…
  ☆86Updated 8 years ago