Proprietario

seL4

32 repository indicizzati · Vedi su GitHub

seL4
The seL4 microkernel

C · 5752 stelle
l4v
seL4 specification and proofs

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

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

Rust · 201 stelle
util_libs

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

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

C · 60 stelle
seL4_tools
Basic tools for building seL4 projects

C · 55 stelle
capdl
Capability Distribution Language tools for seL4

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

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

C · 34 stelle
sel4test
Test suite for seL4.

C · 34 stelle
camkes-tool
The main CAmkES tool

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

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

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

C · 22 stelle
seL4_projects_libs

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

HTML · 19 stelle
camkes-vm-examples

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

17 stelle
12 altri repository si trovano su Vedi su GitHub

Adatte ai principianti Tutto

Aperta Tutte

Device tree naming incompatability between seL4 and recent QEMU overlays Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100

seL4/seL4#1754 · 2 commenti · Aperta il 18/9/2026
Restructure/cleanup capDL builder code Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

seL4/microkit#606 · 1 reazione · Aperta il 18/9/2026
Multithreading example Aperta

seL4/microkit#602 · 1 assegnatario · Aperta il 15/9/2026
x86: seL4_IRQControl_GetIOAPIC doesn't reject a duplicate source with a different vector Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

seL4/seL4#1748 · 3 commenti · Aperta il 15/9/2026
Example for how to do PCI interrupt-line shared interrupts without MSIs Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

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

seL4/ci-actions#524 · 2 commenti · 1 assegnatario · Aperta il 14/9/2026
What was the purpose of the BootInfo 'sharedFrames' capabilities? Aperta

multikernel

Difficoltà 3/5 1-2 giorni Idoneità per principianti 42/100

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

Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100

seL4/seL4#1744 · 2 commenti · Aperta il 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 Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 78/100

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

Difficoltà 2/5 Mezza giornata Idoneità per principianti 72/100

seL4/microkit#596 · 1 commento · Aperta il 30/8/2026
aarch64: support 16-bit VMIDs Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

seL4/seL4#1742 · 7 commenti · Aperta il 25/8/2026
make MCS EP/NTFN queue operations O(1) Aperta

MCS

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

seL4/seL4#1740 · 17 commenti · Aperta il 25/8/2026
pre-RFC: preemption point for cancelBadgedSends Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

seL4/seL4#1737 · 5 commenti · Aperta il 23/8/2026
preemption point for cancellAlIPC Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 42/100

seL4/seL4#1736 · 14 commenti · Aperta il 23/8/2026
x86: TSC is not a cycle counter Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

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

Difficoltà 1/5 1-3 ore Idoneità per principianti 86/100

seL4/microkit#594 · 1 commento · Aperta il 17/8/2026
Pre-RFC: Feature request: Arm ASID invocations that take index parameters Aperta

multikernel

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

seL4/seL4#1730 · 8 commenti · Aperta il 14/8/2026
microkit_pd_stop()/microkit_pd_resume() behavior Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

seL4/microkit#591 · 3 commenti · Aperta il 11/8/2026
tool assumes 32-bit for guard/badge sizes Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100

seL4/capdl#104 · Aperta il 10/8/2026
model kernel ELF window for AArch64 Aperta

Aarch64

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

seL4/l4v#1045 · 3 commenti · Aperta il 7/8/2026
smp: prevent inlining const function Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 74/100

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

arch-split

seL4/l4v#1044 · 2 commenti · 1 assegnatario · Aperta il 31/7/2026
Adjust lemmas named Arch_ in Refine Aperta

arch-split

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

x86

Difficoltà 4/5 3-5 giorni Idoneità per principianti 42/100

seL4/seL4#1723 · Aperta il 31/7/2026
Include more kernel configurations in CI Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 58/100

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

seL4/microkit#568 · 1 assegnatario · Aperta il 20/7/2026
Use more optimised XSAVE for x86 kernel Aperta

seL4/microkit#567 · 1 commento · 1 assegnatario · Aperta il 20/7/2026
New cap sharing feature proposal/discussion Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

seL4/microkit#566 · 2 commenti · Aperta il 19/7/2026
Clang compile errors with psci_target_cpus on kria board Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 42/100

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

seL4/microkit#561 · 1 commento · 1 assegnatario · Aperta il 16/7/2026
Formal Correctness Proos of us_to_ticks conversion in the initialiser Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

seL4/capdl#98 · 4 commenti · Aperta il 15/7/2026
arm, aarch64: cache maintenance optimisations Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 42/100

seL4/seL4#1711 · 4 commenti · Aperta il 15/7/2026
crt0.s suggestion Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

seL4/microkit#554 · 28 commenti · Aperta il 14/7/2026
Feature request Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 38/100

seL4/microkit#550 · 2 commenti · Aperta il 11/7/2026
dot is missing from CI Aperta

seL4/capdl#97 · 1 reazione · 1 assegnatario · Aperta il 9/7/2026
Lazy Scheduling Context rebind for passive tasks Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

seL4/capdl#96 · 7 commenti · Aperta il 8/7/2026
Use `target_has_atomic_primitive_alignment` Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100

seL4/rust-sel4#357 · Aperta il 7/7/2026
Board Support Checklist Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

seL4/seL4#1701 · 4 commenti · Aperta il 7/7/2026
RISC-V seL4_UserTop value leads to an unused top-level slot Aperta

RISC-V verification

Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

seL4/seL4#1697 · 1 reazione · Aperta il 30/6/2026
Are we reporting/recording the wrong things? Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 28/100

seL4/sel4bench#81 · 7 commenti · Aperta il 21/6/2026
Make `setvar region_paddr` works on x86-64 Aperta

seL4/microkit#529 · 1 assegnatario · Aperta il 18/6/2026
Check that the VCPU cap exists before invoking the kernel Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100

seL4/microkit#527 · 1 commento · Aperta il 16/6/2026
Improvements to the 64 (62) client/PD/channel limit Aperta

needs-discussion

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

seL4/microkit#526 · 3 commenti · Aperta il 15/6/2026
The `wps` method should include a `wp_pre` step Aperta

cleanup proof engineering

Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100

seL4/l4v#1019 · Aperta il 12/6/2026
Cap Sharing Improvements Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

seL4/microkit#520 · 1 commento · Aperta il 11/6/2026
Fix DTB tests Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 65/100

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

needs-discussion

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

seL4/microkit#518 · 1 reazione · Aperta il 5/6/2026
the manual could do with more information on how to handle faults Aperta

seL4/microkit#517 · 1 reazione · 1 assegnatario · Aperta il 5/6/2026
hoare_vcg_prop (in default wp set) throws away non-throw information Aperta

proof engineering proof tools

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

seL4/l4v#1007 · 5 commenti · Aperta il 2/6/2026
Deferred notify and IRQ ack may be overwritten Aperta

needs-discussion

Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

seL4/microkit#510 · 3 commenti · Aperta il 2/6/2026

Vengono mostrati i 100 più recenti

Questa pagina elenca solo ciò che è stato indicizzato di recente. Il filtro avanzato contiene l'inventario completo, ristretto per linguaggio, difficoltà e durata.

Apri il filtro avanzato

seL4

Vengono mostrati i 100 più recenti

Ricevi le nuove issue nella tua casella