Propietario

seL4

32 repositorios indexados · Ver en GitHub

seL4
The seL4 microkernel

C · 5752 estrellas
l4v
seL4 specification and proofs

Isabelle · 641 estrellas
rust-sel4
Rust support for seL4 userspace

Rust · 214 estrellas
microkit
Microkit - A simple operating system framework for the seL4 microkernel

Rust · 201 estrellas
util_libs

C · 65 estrellas
sel4-tutorials
Tutorials for working with seL4 and/or CAmkES.

Python · 61 estrellas
seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.

C · 60 estrellas
seL4_tools
Basic tools for building seL4 projects

C · 55 estrellas
capdl
Capability Distribution Language tools for seL4

Haskell · 44 estrellas
camkes
Component Architecture test suite and example apps.

C · 36 estrellas
rumprun-sel4-demoapps
Apps for running with the rumprun unikernel on seL4.

C · 34 estrellas
sel4test
Test suite for seL4.

C · 34 estrellas
camkes-tool
The main CAmkES tool

Python · 27 estrellas
camkes-manifest
Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection ...

26 estrellas
camkes-vm
Virtual Machine built as a CAmkES component.

C · 25 estrellas
sel4bench
sel4 benchmarking applications and support library.

C · 22 estrellas
seL4_projects_libs

C · 20 estrellas
docs
This is the source of the seL4 docs.

HTML · 19 estrellas
camkes-vm-examples

C · 18 estrellas
sel4test-manifest
Project to build and test seL4 for many different platforms

17 estrellas
12 repositorios más están en Ver en GitHub

Para principiantes Todo

Abierto Todos

Device tree naming incompatability between seL4 and recent QEMU overlays Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100

seL4/seL4#1754 · 2 comentarios · Abierto el 18/9/2026
Restructure/cleanup capDL builder code Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

seL4/microkit#606 · 1 reacción · Abierto el 18/9/2026
Multithreading example Abierto

seL4/microkit#602 · 1 asignado · Abierto el 15/9/2026
x86: seL4_IRQControl_GetIOAPIC doesn't reject a duplicate source with a different vector Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

seL4/seL4#1748 · 3 comentarios · Abierto el 15/9/2026
Example for how to do PCI interrupt-line shared interrupts without MSIs Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

seL4/microkit#601 · Abierto el 15/9/2026
Enable HYP on all platforms that support it Abierto

seL4/ci-actions#524 · 2 comentarios · 1 asignado · Abierto el 14/9/2026
What was the purpose of the BootInfo 'sharedFrames' capabilities? Abierto

multikernel

Dificultad 3/5 1-2 días Aptitud para principiantes 42/100

seL4/seL4#1746 · Abierto el 11/9/2026
x86: kernel should check ioport data range Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

seL4/seL4#1744 · 2 comentarios · Abierto el 6/9/2026
x86: the VCPU object blueprint is gated on VTX, bundled with EPT — a kernel built with AMD SVM cannot create a VCPU object Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 78/100

seL4/rust-sel4#373 · Abierto el 30/8/2026
Manual contradicts the tool on three x86 `irq` attributes (confirmed on Microkit 2.3.0) Abierto

Dificultad 2/5 Medio día Aptitud para principiantes 72/100

seL4/microkit#596 · 1 comentario · Abierto el 30/8/2026
aarch64: support 16-bit VMIDs Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

seL4/seL4#1742 · 7 comentarios · Abierto el 25/8/2026
make MCS EP/NTFN queue operations O(1) Abierto

MCS

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

seL4/seL4#1740 · 17 comentarios · Abierto el 25/8/2026
pre-RFC: preemption point for cancelBadgedSends Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

seL4/seL4#1737 · 5 comentarios · Abierto el 23/8/2026
preemption point for cancellAlIPC Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 42/100

seL4/seL4#1736 · 14 comentarios · Abierto el 23/8/2026
x86: TSC is not a cycle counter Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

seL4/sel4bench#87 · 3 comentarios · Abierto el 20/8/2026
A VM's vCPU TCB is never assigned to its PD's domain, so domain-scheduled VMs hang Abierto

Dificultad 1/5 1-3 horas Aptitud para principiantes 86/100

seL4/microkit#594 · 1 comentario · Abierto el 17/8/2026
Pre-RFC: Feature request: Arm ASID invocations that take index parameters Abierto

multikernel

Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

seL4/seL4#1730 · 8 comentarios · Abierto el 14/8/2026
microkit_pd_stop()/microkit_pd_resume() behavior Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

seL4/microkit#591 · 3 comentarios · Abierto el 11/8/2026
tool assumes 32-bit for guard/badge sizes Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100

seL4/capdl#104 · Abierto el 10/8/2026
model kernel ELF window for AArch64 Abierto

Aarch64

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

seL4/l4v#1045 · 3 comentarios · Abierto el 7/8/2026
smp: prevent inlining const function Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 74/100

seL4/seL4#1728 · 10 comentarios · Abierto el 6/8/2026
Have only one Arch_assms per architecture, use it and new tech to bypass Arch interpretation during instantiation. Abierto

arch-split

seL4/l4v#1044 · 2 comentarios · 1 asignado · Abierto el 31/7/2026
Adjust lemmas named Arch_ in Refine Abierto

arch-split

seL4/l4v#1042 · 1 asignado · Abierto el 31/7/2026
IOMMU builds give 'WARNING: internal book keeping error. Less pagetables allocated than predicted' Abierto

x86

Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

seL4/seL4#1723 · Abierto el 31/7/2026
Include more kernel configurations in CI Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 58/100

seL4/rust-sel4#364 · Abierto el 20/7/2026
Enable AVX for x86 kernel Abierto

seL4/microkit#568 · 1 asignado · Abierto el 20/7/2026
Use more optimised XSAVE for x86 kernel Abierto

seL4/microkit#567 · 1 comentario · 1 asignado · Abierto el 20/7/2026
New cap sharing feature proposal/discussion Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

seL4/microkit#566 · 2 comentarios · Abierto el 19/7/2026
Clang compile errors with psci_target_cpus on kria board Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 42/100

seL4/microkit#562 · Abierto el 16/7/2026
Add a way to also run QEMU when building examples with dev_build Abierto

seL4/microkit#561 · 1 comentario · 1 asignado · Abierto el 16/7/2026
Formal Correctness Proos of us_to_ticks conversion in the initialiser Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

seL4/capdl#98 · 4 comentarios · Abierto el 15/7/2026
arm, aarch64: cache maintenance optimisations Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 42/100

seL4/seL4#1711 · 4 comentarios · Abierto el 15/7/2026
crt0.s suggestion Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

seL4/microkit#554 · 28 comentarios · Abierto el 14/7/2026
Feature request Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 38/100

seL4/microkit#550 · 2 comentarios · Abierto el 11/7/2026
dot is missing from CI Abierto

seL4/capdl#97 · 1 reacción · 1 asignado · Abierto el 9/7/2026
Lazy Scheduling Context rebind for passive tasks Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

seL4/capdl#96 · 7 comentarios · Abierto el 8/7/2026
Use `target_has_atomic_primitive_alignment` Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100

seL4/rust-sel4#357 · Abierto el 7/7/2026
Board Support Checklist Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 38/100

seL4/seL4#1701 · 4 comentarios · Abierto el 7/7/2026
RISC-V seL4_UserTop value leads to an unused top-level slot Abierto

RISC-V verification

Dificultad 4/5 3-5 días Aptitud para principiantes 38/100

seL4/seL4#1697 · 1 reacción · Abierto el 30/6/2026
Are we reporting/recording the wrong things? Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 28/100

seL4/sel4bench#81 · 7 comentarios · Abierto el 21/6/2026
Make `setvar region_paddr` works on x86-64 Abierto

seL4/microkit#529 · 1 asignado · Abierto el 18/6/2026
Check that the VCPU cap exists before invoking the kernel Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

seL4/microkit#527 · 1 comentario · Abierto el 16/6/2026
Improvements to the 64 (62) client/PD/channel limit Abierto

needs-discussion

Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

seL4/microkit#526 · 3 comentarios · Abierto el 15/6/2026
The `wps` method should include a `wp_pre` step Abierto

cleanup proof engineering

Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

seL4/l4v#1019 · Abierto el 12/6/2026
Cap Sharing Improvements Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

seL4/microkit#520 · 1 comentario · Abierto el 11/6/2026
Fix DTB tests Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 65/100

seL4/camkes-tool#177 · Abierto el 10/6/2026
Consider removing PD access to their own VSpace (or making it optional) Abierto

needs-discussion

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

seL4/microkit#518 · 1 reacción · Abierto el 5/6/2026
the manual could do with more information on how to handle faults Abierto

seL4/microkit#517 · 1 reacción · 1 asignado · Abierto el 5/6/2026
hoare_vcg_prop (in default wp set) throws away non-throw information Abierto

proof engineering proof tools

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

seL4/l4v#1007 · 5 comentarios · Abierto el 2/6/2026
Deferred notify and IRQ ack may be overwritten Abierto

needs-discussion

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

seL4/microkit#510 · 3 comentarios · Abierto el 2/6/2026

Mostrando los 100 más recientes

Esta página solo lista lo indexado más recientemente. El filtro avanzado tiene el inventario completo, acotado por lenguaje, dificultad y duración.

Abrir el filtro avanzado

seL4

Mostrando los 100 más recientes

Recibe los nuevos issues en tu correo