seL4/seL4

The seL4 microkernel

5,223

COther

microkernelossel4sel4-microkernel

Stars

5,223

Updated

Nov 26, 2025

Stars Over Time

Top Contributors

dimityr600

1 contributions

Leonnid

1 contributions

h0bbl3s

1 contributions

Aizo54

1 contributions

hsand

1 contributions

InMicroFish

1 contributions

MyMoonAmour

1 contributions

hnyangbin

1 contributions

Gandharikos

1 contributions

hongfeiyang

1 contributions

neo-c212

1 contributions

JungerBoyo

1 contributions

RGBCube

1 contributions

peachey2k2

1 contributions

filip-paczynski

1 contributions

SpirosMakris

1 contributions

89oso

1 contributions

max-best

1 contributions

amitschi

1 contributions

takeiteasy

1 contributions

bagaswh

1 contributions

pgattic

1 contributions

MaliciousGenius

1 contributions

surajssc1232

1 contributions

5fXs6G

1 contributions

nedclimax

1 contributions

wangzhenjohn

1 contributions

xiao6768

1 contributions

amusingimpala75

1 contributions

fraleonardifl-lgtm

1 contributions

sinocxg

1 contributions

khaledmaghnia

1 contributions

badrelmazaz

1 contributions

Hyoogen-no-Kachi

1 contributions

yongw5

1 contributions

0x7C00-Mika

1 contributions

zzmic

1 contributions

ograchikov

1 contributions

YawKar

1 contributions

Algorith0n

1 contributions

LluisGregori

1 contributions

toratako

1 contributions

nameless100000

1 contributions

blmayer

1 contributions

mai-graf

1 contributions

mbingel

1 contributions

gotnix

1 contributions

tttyigf

1 contributions

Louisyoung7

1 contributions

Juanercoli

1 contributions

espostohaynes20081986pxre

1 contributions

Cup-png

1 contributions

Qhunliv13

1 contributions

mikikichi

1 contributions

Wildbeast182

1 contributions

elijahr

1 contributions

rudr4x5h

1 contributions

MacixOwl

1 contributions

ClintCombs

1 contributions

chuanmx20

1 contributions

ant3mc

1 contributions

zayne-anyra

1 contributions

riadh-labs

1 contributions

CrashTD

1 contributions

AYUSHMIT

1 contributions

schellhas

1 contributions

c-kloukinas

1 contributions

victorguidi

1 contributions

codynm9

1 contributions

Adarshupase

1 contributions

yangzhp

1 contributions

dima853

1 contributions

JAILuo

1 contributions

David7ce

1 contributions

chrisjsimpson

1 contributions

runxiyu

1 contributions

such-it

1 contributions

Stegrunov

1 contributions

Heliodex

1 contributions

francisc0arauj0

1 contributions

ff4415

1 contributions

SnowCheetos

1 contributions

shell-don

1 contributions

vxtls

1 contributions

ekzhang

1 contributions

llGaetanll

1 contributions

anthonycorletti

1 contributions

ChetanXpro

1 contributions

iamleson98

1 contributions

stevenferrer

1 contributions

Hezizek

1 contributions

septatrix

1 contributions

ymcx

1 contributions

janos32783

1 contributions

hrfried

1 contributions

unbalancedparentheses

1 contributions

slayernominee

1 contributions

adpthegreat

1 contributions

orecham

1 contributions

matdexir

1 contributions

Related Repositories

HaxeFoundation/hashlink

bdwgc/bdwgc

andmarti1424/sc-im

Track developers from seL4/seL4

Join 1,000+ companies finding quality developer leads