Owner
seL4
32 indexed repositories · View on GitHub
-
seL4
The seL4 microkernel
C · 5752 stars
-
l4v
seL4 specification and proofs
Isabelle · 641 stars
-
rust-sel4
Rust support for seL4 userspace
Rust · 214 stars
-
microkit
Microkit - A simple operating system framework for the seL4 microkernel
Rust · 201 stars
-
C · 65 stars
-
sel4-tutorials
Tutorials for working with seL4 and/or CAmkES.
Python · 61 stars
-
seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
C · 60 stars
-
seL4_tools
Basic tools for building seL4 projects
C · 55 stars
-
capdl
Capability Distribution Language tools for seL4
Haskell · 44 stars
-
camkes
Component Architecture test suite and example apps.
C · 36 stars
-
rumprun-sel4-demoapps
Apps for running with the rumprun unikernel on seL4.
C · 34 stars
-
sel4test
Test suite for seL4.
C · 34 stars
-
camkes-tool
The main CAmkES tool
Python · 27 stars
-
camkes-manifest
Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection ...
26 stars
-
camkes-vm
Virtual Machine built as a CAmkES component.
C · 25 stars
-
sel4bench
sel4 benchmarking applications and support library.
C · 22 stars
-
C · 20 stars
-
docs
This is the source of the seL4 docs.
HTML · 19 stars
-
C · 18 stars
-
sel4test-manifest
Project to build and test seL4 for many different platforms
17 stars
- 12 more repositories live on View on GitHub
-
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
Difficulty 3/5 1-2 days Newbie friendliness 45/100
-
seL4/ci-actions#524 · 2 comments · 1 assignee ·
-
multikernel
Difficulty 3/5 1-2 days Newbie friendliness 42/100
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
-
Difficulty 3/5 1-2 days Newbie friendliness 78/100
-
Difficulty 2/5 Half a day Newbie friendliness 72/100
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
-
MCS
Difficulty 5/5 Over a week Newbie friendliness 35/100
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
Difficulty 5/5 Over a week Newbie friendliness 42/100
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
Difficulty 1/5 1-3 hours Newbie friendliness 86/100
-
multikernel
Difficulty 5/5 Over a week Newbie friendliness 30/100
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
-
Aarch64
Difficulty 5/5 Over a week Newbie friendliness 35/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
-
arch-split
-
arch-split
-
IOMMU builds give 'WARNING: internal book keeping error. Less pagetables allocated than predicted' Openx86
Difficulty 4/5 3-5 days Newbie friendliness 42/100
-
Difficulty 3/5 1-2 days Newbie friendliness 58/100
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
-
Difficulty 3/5 1-2 days Newbie friendliness 42/100
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
Difficulty 5/5 Over a week Newbie friendliness 42/100
-
crt0.s suggestion Open
Difficulty 4/5 3-5 days Newbie friendliness 48/100
-
Feature request Open
Difficulty 5/5 Over a week Newbie friendliness 38/100
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
-
Difficulty 4/5 3-5 days Newbie friendliness 38/100
-
RISC-V verification
Difficulty 4/5 3-5 days Newbie friendliness 38/100
-
Difficulty 5/5 Over a week Newbie friendliness 28/100
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
-
needs-discussion
Difficulty 5/5 Over a week Newbie friendliness 30/100
-
cleanup proof engineering
Difficulty 3/5 1-2 days Newbie friendliness 55/100
-
Difficulty 5/5 Over a week Newbie friendliness 30/100
-
Fix DTB tests Open
Difficulty 3/5 1-2 days Newbie friendliness 65/100
seL4/camkes-tool#177 ·
-
needs-discussion
Difficulty 5/5 Over a week Newbie friendliness 35/100
-
proof engineering proof tools
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
needs-discussion
Difficulty 4/5 3-5 days Newbie friendliness 48/100
Showing the newest 100
This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.