Alternatives and similar repositories for hazelnut:

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

• jserv / codezero
  Codezero Microkernel
  ☆107Updated 3 years ago
• Ryanel / Cedille
  A kernel with a purpose - to keep most of the code out of the kernel
  ☆15Updated 5 years ago
• jezze / fudge
  A concurrent-focused message-based operating system.
  ☆93Updated 3 weeks ago
• jmolloy / pedigree
  Pedigree operating system
  ☆90Updated 8 years ago
• Enerccio / Cthulhu-OS
  x86-64 SMP enabled microkernel hobbyist OS
  ☆24Updated 9 years ago
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆197Updated last year
• SimonGustavsson / PiOS
  My experimental bare metal OS for the raspberry pi
  ☆45Updated 10 years ago
• l4ka / pistachio
  L4Ka::Pistachio micro-kernel
  ☆279Updated 5 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆91Updated 7 years ago
• OSPreservProject / oskit
  oskit code from Fluke OS project at University of Utah
  ☆33Updated 2 years ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 9 years ago
• seL4 / camkes-manifest
  Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …
  ☆22Updated last week
• jermar / microkernel.info
  Community site for microkernel projects.
  ☆28Updated last month
• ReturnInfinity / BMFS
  Utility for accessing a disk formatted with BMFS
  ☆52Updated 3 months ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆53Updated last week
• primis / Apollo
  x86 Kernel Project
  ☆32Updated last year
• nfeske / genode-manual
  Reference manual for the Genode OS Framework
  ☆24Updated last month
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆85Updated last year
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆108Updated 4 years ago
• drh / iburg
  A Tree Parser Generator
  ☆96Updated 6 months ago
• rajesh5310 / SBUnix
  This project involved the development of a x86 64 bit operating system (SBUnix). It was developed in C and Assembly language. System was …
  ☆30Updated 9 years ago
• doug65536 / dgos
  Operating System
  ☆132Updated 2 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆49Updated 3 weeks ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• singpolyma / singpolyma-kernel
  A basic microkernel
  ☆36Updated 11 years ago
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆119Updated last week
• esjeon / musl-clang
  A clang wrapper for musl C library. Pretty hacky, I know.
  ☆34Updated 10 years ago
• 0intro / libelf
  Libelf is a simple library to read ELF files.
  ☆50Updated 3 years ago
• mfleming / efilinux
  UEFI boot loader
  ☆79Updated 2 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated this week