Alternatives and similar repositories for genode

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

• alex-ab / NOVA
  NOVA Microhypervisor
  ☆9Updated this week
• 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
  ☆48Updated 9 years ago
• chrissicool / l4openbsd
  OpenBSD/L4 port
  ☆17Updated 8 years ago
• skochinsky / papers
  My presentations and papers
  ☆46Updated 4 years ago
• andreiw / nexus9_demo
  64-bit ARM OS/Kernel/Systems Development Demo on a Nexus 9
  ☆24Updated 9 years ago
• G33KatWork / EFIPWN
  An EFI image parser and dissector
  ☆50Updated 12 years ago
• TrenchBoot / documentation
  ☆40Updated 5 months ago
• IllegalArgument / Huffman11
  Huffman decompression for version 11.x Intel ME modules
  ☆30Updated 7 years ago
• lynxis / bbb_screwdriver_builder
  A development util for ehci debug and spi flashing. See http://www.coreboot.org/BBB_screwdriver
  ☆20Updated 8 years ago
• jedisct1 / spritz
  A C implementation of Spritz, a spongy RC4-like stream cipher and hash function.
  ☆27Updated 9 years ago
• retrage / elvm
  EsoLangVM Compiler Infrastructure
  ☆11Updated 10 months ago
• 96boards / arm-trusted-firmware
  ARM Trusted Firmware
  ☆14Updated 7 years ago
• efidroid / uefi_apps_LKL
  EDK II LKL Filesystem Driver
  ☆13Updated 8 years ago
• 96boards / l-loader
  loader to switch from aarch32 to aarch64 and boot
  ☆12Updated 7 years ago
• theopolis / tpm2-examples
  Several example uses of TPM2/TSS APIs.
  ☆10Updated 9 years ago
• sstjohn / thundergate
  an open source toolkit for PCI bus exploration
  ☆71Updated 8 years ago
• kraj / meta-musl
  Provide musl as system C library for OpenEmbedded/Yocto
  ☆22Updated 9 years ago
• ptresearch / IntelME-Crypto
  ☆34Updated 7 years ago
• ptresearch / parseMFS
  This repository contains Python 2.7 scripts for parsing MFS/MFSB partition and extracting contained files.
  ☆32Updated 7 years ago
• peterbjornx / meimagetool
  Image manipulation tools for the Management Engine firmware
  ☆36Updated 6 years ago
• astarasikov / qemu
  Official QEMU mirror
  ☆31Updated 11 months ago
• electrojustin / triad-decompiler
  TRiad Is A Decompiler. Triad is a tiny, free and open source, Capstone based x86 decompiler for ELF binaries.
  ☆100Updated 9 years ago
• grate-driver / xf86-video-opentegra
  X.Org video driver for NVIDIA Tegra
  ☆12Updated 3 years ago
• laanwj / dwarf_to_c
  Tool to recover C headers (types, function signatures) from DWARF debug data
  ☆47Updated 3 years ago
• detule / linux-hexagon
  Linux kernel for Qualcomm's Hexagon processors
  ☆9Updated 12 years ago
• jyao1 / STM
  ☆70Updated 5 years ago
• jameshilliard / linux-grsec
  unofficial grsecurity gpl release
  ☆22Updated 6 years ago
• mytbk / radare-uefi
  helper radare2 script to analyze UEFI firmware modules
  ☆15Updated 6 years ago
• ephox-gcc-plugins / initify
  initify gcc plugin
  ☆8Updated 8 years ago