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
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆2,102Updated last week
• genodelabs / genode
  Genode OS Framework
  ☆1,206Updated this week
• Stichting-MINIX-Research-Foundation / minix
  Official MINIX sources - Automatically replicated from gerrit.minix3.org
  ☆3,393Updated last year
• 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
• 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
• tock / tock
  A secure embedded operating system for microcontrollers
  ☆6,213Updated this week
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,530Updated last week
• mirage / mirage
  MirageOS is a library operating system that constructs unikernels
  ☆2,832Updated last week
• drh / lcc
  The lcc retargetable ANSI C compiler
  ☆2,496Updated last year
• Harvey-OS / harvey
  A distributed operating system
  ☆1,453Updated 3 years ago
• larsbrinkhoff / awesome-cpus
  All CPU and MCU documentation in one place
  ☆1,971Updated 3 years 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
• oxidecomputer / hubris
  A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
  ☆3,414Updated this week
• klange / toaruos
  A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …
  ☆6,609Updated this week
• theseus-os / Theseus
  Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…
  ☆3,115Updated last year
• managarm / managarm
  Pragmatic microkernel-based OS with fully asynchronous I/O
  ☆1,855Updated this week
• vvaltchev / tilck
  A Tiny Linux-Compatible Kernel
  ☆3,054Updated 2 weeks ago
• oreboot / oreboot
  oreboot is a fork of coreboot, with C removed, written in Rust.
  ☆1,752Updated 2 months ago
• mit-pdos / xv6-riscv-book
  Text describing xv6 on RISC-V
  ☆833Updated 5 months ago
• littleosbook / littleosbook
  Source for the little book about OS development
  ☆2,611Updated 2 years ago
• rui314 / 8cc
  A Small C Compiler
  ☆6,348Updated last year
• siemens / jailhouse
  Linux-based partitioning hypervisor
  ☆1,907Updated last year
• smoltcp-rs / smoltcp
  a smol tcp/ip stack
  ☆4,345Updated last week
• mit-pdos / biscuit
  Biscuit research OS
  ☆2,558Updated 3 years ago
• Solo5 / solo5
  A sandboxed execution environment for unikernels
  ☆968Updated 3 months ago
• qemu / qemu
  Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please on…
  ☆12,639Updated this week
• rui314 / chibicc
  A small C compiler
  ☆10,893Updated 2 years ago
• mit-pdos / xv6-public
  xv6 OS
  ☆9,201Updated last year
• rr-debugger / rr
  Record and Replay Framework
  ☆10,362Updated 3 weeks ago