Alternatives and similar repositories for seL4

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

• littlekernel / lk
  LK embedded kernel
  ☆3,588Updated last week
• genodelabs / genode
  Genode OS Framework
  ☆1,206Updated this week
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆2,106Updated last week
• mirage / mirage
  MirageOS is a library operating system that constructs unikernels
  ☆2,832Updated 2 weeks ago
• tock / tock
  A secure embedded operating system for microcontrollers
  ☆6,213Updated this week
• checkedc / checkedc
  Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…
  ☆3,261Updated last year
• Stichting-MINIX-Research-Foundation / minix
  Official MINIX sources - Automatically replicated from gerrit.minix3.org
  ☆3,393Updated last year
• coreboot / coreboot
  Read-only mirror of https://review.coreboot.org/coreboot.git. Synced every hour. We don't handle Pull Requests.
  ☆2,585Updated this week
• oreboot / oreboot
  oreboot is a fork of coreboot, with C removed, written in Rust.
  ☆1,752Updated 2 months ago
• illumos / illumos-gate
  An open-source Unix operating system -- this is a read-only mirror of the official repository at https://code.illumos.org/plugins/gitiles…
  ☆1,820Updated this week
• cksystemsteaching / selfie
  An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V…
  ☆2,491Updated last week
• riscv-software-src / opensbi
  RISC-V Open Source Supervisor Binary Interface
  ☆1,370Updated last month
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,530Updated last week
• siemens / jailhouse
  Linux-based partitioning hypervisor
  ☆1,907Updated last year
• redox-os / redox
  Mirror of https://gitlab.redox-os.org/redox-os/redox
  ☆16,002Updated this week
• orangeduck / Cello
  Higher level programming in C
  ☆7,093Updated last year
• redox-os / kernel
  Mirror of https://gitlab.redox-os.org/redox-os/kernel
  ☆823Updated this week
• rui314 / 8cc
  A Small C Compiler
  ☆6,348Updated last year
• klange / toaruos
  A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …
  ☆6,609Updated this week
• bdwgc / bdwgc
  The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
  ☆3,412Updated this week
• larsbrinkhoff / awesome-cpus
  All CPU and MCU documentation in one place
  ☆1,971Updated 3 years ago
• drh / lcc
  The lcc retargetable ANSI C compiler
  ☆2,496Updated last year
• vvaltchev / tilck
  A Tiny Linux-Compatible Kernel
  ☆3,054Updated 2 weeks ago
• includeos / IncludeOS
  A minimal, resource efficient unikernel for cloud services
  ☆5,210Updated last month
• fishinabarrel / linux-kernel-module-rust
  Framework for writing Linux kernel modules in safe Rust
  ☆1,341Updated 4 years ago
• Harvey-OS / harvey
  A distributed operating system
  ☆1,453Updated 3 years ago
• rr-debugger / rr
  Record and Replay Framework
  ☆10,362Updated 3 weeks ago
• rumpkernel / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆1,169Updated 5 years ago
• managarm / managarm
  Pragmatic microkernel-based OS with fully asynchronous I/O
  ☆1,855Updated this week
• ReturnInfinity / BareMetal-OS-legacy
  BareMetal is a 64-bit OS for x86-64 based computers. The OS is written entirely in Assembly while applications can be written in Assembly…
  ☆1,751Updated 8 years ago