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
• G33KatWork / EFIPWN
  An EFI image parser and dissector
  ☆50Updated 12 years ago
• osresearch / bioswrite
  Command line tool to write to x86 boot flash chips via the PCH
  ☆12Updated 8 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆43Updated 3 years ago
• retrage / elvm
  EsoLangVM Compiler Infrastructure
  ☆11Updated 8 months ago
• chrissicool / l4openbsd
  OpenBSD/L4 port
  ☆17Updated 8 years ago
• thestinger / paxd
  PaX exception daemon - Temporarily abandoned due to the PaX and grsecurity patches becoming private
  ☆40Updated 8 years ago
• andreiw / nexus9_demo
  64-bit ARM OS/Kernel/Systems Development Demo on a Nexus 9
  ☆24Updated 9 years ago
• ibm-research / fusedos
  ☆52Updated 10 years ago
• Ryanel / Cedille
  A kernel with a purpose - to keep most of the code out of the kernel
  ☆15Updated 5 years ago
• theopolis / tpm2-examples
  Several example uses of TPM2/TSS APIs.
  ☆10Updated 9 years ago
• efidroid / uefi_apps_LKL
  EDK II LKL Filesystem Driver
  ☆13Updated 8 years ago
• glandium / extract-symvers
  Extract Module.symvers info from a binary kernel
  ☆48Updated 9 years ago
• jameshilliard / linux-grsec
  unofficial grsecurity gpl release
  ☆22Updated 6 years ago
• endeav0r / hsvm
  Haxathon Supremacy Virtual Machine
  ☆32Updated 7 years ago
• gfto / toybox
  The goal of the Toybox project is to create simple implementations of all the important Linux command line utilities. This repo is mirror…
  ☆127Updated 8 years ago
• intel / kernelflinger
  ☆69Updated last year
• skochinsky / papers
  My presentations and papers
  ☆46Updated 4 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
• nfeske / genode-manual
  Reference manual for the Genode OS Framework
  ☆24Updated last month
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• jedisct1 / spritz
  A C implementation of Spritz, a spongy RC4-like stream cipher and hash function.
  ☆27Updated 9 years ago
• dm0- / gnuxc
  GNU OS Cross-Compiler
  ☆13Updated 7 years ago
• cyring / xfreq
  Project is now superseded by CoreFreq
  ☆47Updated 7 years ago
• skochinsky / jeff-tools
  JEFF file format tools
  ☆27Updated 9 years ago
• 96boards / arm-trusted-firmware
  ARM Trusted Firmware
  ☆14Updated 7 years ago
• mjg59 / efitools
  Fork of jejb's efitools
  ☆31Updated 5 years ago
• devuan / arm-sdk
  OS development toolkit for various ARM embedded devices
  ☆24Updated 3 years ago
• zamaudio / smutool
  Tool for working with AMD SMU
  ☆48Updated 8 years ago
• jyao1 / STM
  ☆70Updated 4 years ago