Alternatives and similar repositories for genode

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

• chrissicool / l4openbsd
  OpenBSD/L4 port
  ☆17Updated 8 years ago
• alex-ab / NOVA
  NOVA Microhypervisor
  ☆9Updated 3 weeks ago
• andreiw / nexus9_demo
  64-bit ARM OS/Kernel/Systems Development Demo on a Nexus 9
  ☆24Updated 9 years ago
• kungliet / okl4
  okl4 git for porting to realview_eb RTSM platform
  ☆14Updated 12 years ago
• 96boards / l-loader
  loader to switch from aarch32 to aarch64 and boot
  ☆12Updated 7 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated this week
• nfeske / genode-manual
  Reference manual for the Genode OS Framework
  ☆24Updated 2 weeks ago
• aejsmith / kboot
  KBoot boot loader
  ☆28Updated 5 months ago
• Tasssadar / kexec-tools
  kexec-tools with hardboot support for MultiROM
  ☆21Updated 11 months 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
• 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
• efidroid / uefi_apps_LKL
  EDK II LKL Filesystem Driver
  ☆13Updated 8 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆44Updated 3 years ago
• kraj / meta-musl
  Provide musl as system C library for OpenEmbedded/Yocto
  ☆22Updated 9 years ago
• conradoplg / authenc
  Standalone implemention of authenticated encryption algorithms
  ☆11Updated 3 years ago
• osresearch / bioswrite
  Command line tool to write to x86 boot flash chips via the PCH
  ☆14Updated 8 years ago
• 96boards / arm-trusted-firmware
  ARM Trusted Firmware
  ☆14Updated 7 years ago
• NVIDIA / cbootimage
  Tegra BCT and bootable flash image generator/compiler
  ☆30Updated 5 years ago
• jduck / lk-reducer
  Linux Kernel Source Tree Reducer
  ☆80Updated 7 months ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• detule / linux-hexagon
  Linux kernel for Qualcomm's Hexagon processors
  ☆10Updated 12 years ago
• esjeon / musl-clang
  A clang wrapper for musl C library. Pretty hacky, I know.
  ☆34Updated 10 years ago
• ibm-research / fusedos
  ☆52Updated 10 years ago
• glandium / extract-symvers
  Extract Module.symvers info from a binary kernel
  ☆48Updated 9 years ago
• jowinter / qemu-trustzone
  Experimental version of QEMU with basic support for ARM TrustZone (security extensions)
  ☆84Updated 11 years ago
• mfleming / efilinux
  UEFI boot loader
  ☆79Updated 2 years ago
• shr-distribution / meta-smartphone
  ☆28Updated 2 months ago
• mjg59 / efitools
  Fork of jejb's efitools
  ☆31Updated 5 years ago
• 96boards / burn-boot
  A small python tool for downloading bootloader to ddr through serial port
  ☆12Updated 9 years ago
• ptresearch / unME12
  ☆45Updated 6 years ago