seL4 / seL4Links
The seL4 microkernel
☆5,301Updated last week
Alternatives and similar repositories for seL4
Users that are interested in seL4 are comparing it to the libraries listed below
Sorting:
- LK embedded kernel☆3,588Updated last week
- The CompCert formally-verified C compiler☆2,102Updated last week
- Genode OS Framework☆1,206Updated this week
- Official MINIX sources - Automatically replicated from gerrit.minix3.org☆3,393Updated last year
- 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
- 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
- A secure embedded operating system for microcontrollers☆6,213Updated this week
- A portable microkernel-based multiserver operating system written from scratch.☆1,530Updated last week
- MirageOS is a library operating system that constructs unikernels☆2,832Updated last week
- The lcc retargetable ANSI C compiler☆2,496Updated last year
- A distributed operating system☆1,453Updated 3 years ago
- All CPU and MCU documentation in one place☆1,971Updated 3 years ago
- 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
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,414Updated this week
- A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical …☆6,609Updated this week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,115Updated last year
- Pragmatic microkernel-based OS with fully asynchronous I/O☆1,855Updated this week
- A Tiny Linux-Compatible Kernel☆3,054Updated 2 weeks ago
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,752Updated 2 months ago
- Text describing xv6 on RISC-V☆833Updated 5 months ago
- Source for the little book about OS development☆2,611Updated 2 years ago
- A Small C Compiler☆6,348Updated last year
- Linux-based partitioning hypervisor☆1,907Updated last year
- a smol tcp/ip stack☆4,345Updated last week
- Biscuit research OS☆2,558Updated 3 years ago
- A sandboxed execution environment for unikernels☆968Updated 3 months ago
- 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
- A small C compiler☆10,893Updated 2 years ago
- xv6 OS☆9,201Updated last year
- Record and Replay Framework☆10,362Updated 3 weeks ago