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
• corwin-mcknight / Cedille
  A kernel with a purpose - to keep most of the code out of the kernel
  ☆15Updated 6 years ago
• osresearch / flashtools
  Simplified version of flashrom for installing new system firmware
  ☆23Updated 2 years ago
• Tasssadar / kexec-tools
  kexec-tools with hardboot support for MultiROM
  ☆21Updated last year
• metta-systems / metta
  Metta OS
  ☆73Updated last year
• glandium / extract-symvers
  Extract Module.symvers info from a binary kernel
  ☆50Updated 10 years ago
• radare / sal
  Scripting Assembly Language
  ☆12Updated 10 years ago
• chrissicool / l4openbsd
  OpenBSD/L4 port
  ☆18Updated 8 years ago
• alex-ab / NOVA
  NOVA Microhypervisor
  ☆11Updated this week
• unkaktus / bearssl
  BearSSL with some bits [see branch upstream for upstream]
  ☆31Updated 9 years ago
• darwin-on-arm / GenericBooter
  Version 2.0
  ☆13Updated 9 years ago
• nihilus / snowman
  Snowman decompiler
  ☆110Updated 8 years ago
• SCSLaboratory / BearOS
  The Bear Operating System
  ☆24Updated 8 years ago
• haraldh / mkrescue-uefi
  Creates a custom BOOTX64.EFI from a linux kernel, initrd and kernel cmdline
  ☆49Updated 10 years ago
• 96boards / arm-trusted-firmware
  ARM Trusted Firmware
  ☆14Updated 8 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆44Updated 4 years ago
• skochinsky / papers
  My presentations and papers
  ☆47Updated 5 years ago
• avpatel / xvisor-next
  Xvisor: eXtensible Versatile hypervISOR
  ☆89Updated last week
• electrojustin / triad-decompiler
  TRiad Is A Decompiler. Triad is a tiny, free and open source, Capstone based x86 decompiler for ELF binaries.
  ☆104Updated 10 years ago
• acama / xdisasm
  Simple binary file disassembler based on libopcodes and bfd from binutils.
  ☆27Updated 10 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 12 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…
  ☆129Updated 9 years ago
• lynxis / bbb_screwdriver_builder
  A development util for ehci debug and spi flashing. See http://www.coreboot.org/BBB_screwdriver
  ☆19Updated 8 years ago
• jowinter / qemu-trustzone
  Experimental version of QEMU with basic support for ARM TrustZone (security extensions)
  ☆85Updated 12 years ago
• rumpkernel / fs-utils
  File System Access Utilities in Userland
  ☆79Updated 9 years ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆91Updated 2 years ago
• jbremer / darm
  A light-weight and efficient disassembler written in C for the ARMv7 instruction set.
  ☆217Updated 9 years ago
• ramosian-glider / clang-kernel-build
  Steps to build the Linux kernel using Clang
  ☆102Updated 3 years ago
• programble / bare-metal-tetris
  Tetris for x86 in bad C. Succeeded by Tetrasm.
  ☆64Updated 10 years ago