seL4/sel4test

View on GitHub

Test suite for seL4.

Stars: 34
Forks: 75
Open beginner issues: 0
Indexed issues: 14
Avg merge: 1d 2h
Merged PRs (30d): 2

Dominant language: C
License: No license data
Last GitHub push: Sep 17, 2026
Latest indexed: Sep 20, 2026
Contributing guide: Contributing guide
Code of conduct: Code of conduct
Beginner labels: help wanted

Beginner friendly Everything

Open All

14 open issues indexed

Lots of libc undefined references Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

seL4/sel4test#137 · 3 comments · Opened Mar 11, 2025
Add tests for vCPU objects Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

seL4/sel4test#115 · 1 reaction · Opened Feb 19, 2024
TIMEOUTFAULT0002 stuck on ODROID_XU4_release_MCS_clang_32 Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

seL4/sel4test#112 · 2 comments · Opened Jan 31, 2024
DOMAINS0001 runs into a assert in sel4test-tests/src/main.c@:250 Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

seL4/sel4test#107 · 4 comments · 1 reaction · Opened Nov 8, 2023
Test x86 with x2apic Open

Difficulty 3/5 1-2 days Newbie friendliness 42/100

seL4/sel4test#96 · Opened Jun 20, 2023
pc99: SCHED0011 sometimes times out Open

Difficulty 4/5 3-5 days Newbie friendliness 28/100

seL4/sel4test#93 · 6 comments · Opened May 9, 2023
TK1 and ODROID_XU4 fail `CACHEFLUSH0001` Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

seL4/sel4test#80 · 3 comments · Opened Oct 6, 2022
Investigate running MCS on Qemu simulation targets Open

MCS

Difficulty 4/5 3-5 days Newbie friendliness 35/100

seL4/sel4test#72 · Opened Feb 8, 2022
ZCU102: Enable HAVE_TIMER tests and fix failing ones Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

seL4/sel4test#71 · Opened Feb 8, 2022
provide seL4test in Rust Open

help wanted

Difficulty 5/5 Over a week Newbie friendliness 25/100

seL4/sel4test#68 · 3 comments · Opened Jan 26, 2022
interspersed IOMMU messages in skylake output Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

seL4/sel4test#60 · 4 comments · Opened Dec 6, 2021
Analyze test case BREAKPOINT_002 for race conditions Open

help wanted

Difficulty 4/5 3-5 days Newbie friendliness 25/100

seL4/sel4test#43 · Opened Jul 25, 2021
Test SCHED0021 has a race condition Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 30/100

seL4/sel4test#42 · 1 comment · Opened Jul 17, 2021
Inform the user that their settings might be getting overridden Open

enhancement help wanted

Difficulty 4/5 3-5 days Newbie friendliness 25/100

seL4/sel4test#29 · 2 comments · 1 reaction · Opened Nov 20, 2020

seL4/sel4test

Get new issues in your inbox