seL4 / sel4test

Test suite for seL4.

http://sel4.systems

seL4/sel4test Issues

test MULTICORE_0004 sometimes hangs
Updated 5 days ago10
TK1 and ODROID_XU4 fail `CACHEFLUSH0001`
Updated 5 months ago3
TK1 sometimes fails CACHEFLUSH0001
Closed 5 months ago1
Add tests for vCPU objects
Updated 6 months ago
TIMEOUTFAULT0002 stuck on ODROID_XU4_release_MCS_clang_32
Updated 6 months ago2
SCHED0021 fails on star64 platform when config `LibUtilsDefaultZfLogLevel` is `0`
Closed 9 months ago4
DOMAINS0001 runs into a assert in sel4test-tests/src/main.c@:250
Updated 9 months ago4
Test SCHED0021 has a race condition
Closed 10 months ago
Cannot build sel4test for Rocketchip
Closed 10 months ago3
Running test under SMP conditions on spike platform gets stuck.
Updated 10 months ago2
hifive: TIMER0001 test isn't working (it passes instantly instead of taking 3 seconds)
Closed a year ago2
Test x86 with x2apic
Updated a year ago
pc99: SCHED0011 sometimes times out
Updated a year ago
Test MULTICORE0005 fails on SABRE sporadically
Updated 2 years ago1
Create thread with setting pc and call seL4_Send cause vm fault
Closed 2 years ago1
Investigate running MCS on Qemu simulation targets
Updated 2 years ago
Nitrogen6_SoloX board serial output doesn't work when sel4test `-DRELEASE=ON` is used
Closed 2 years ago4
‘Caught cap fault …’ while trying to read/write device register
Closed 2 years ago6
seL4test/projects/musllibc/configure: not found
Closed 2 years ago9
Inform the user that their settings might be getting overridden
Updated 2 years ago2
when I build sel4 with sel4test, error occors that "UnicodeDecodeError: 'ascii' codec can't decode byte"
Closed 2 years ago6
sel4testdriver causes vmfault on completion; expected or not?
Closed 2 years ago2
ZCU102: Enable HAVE_TIMER tests and fix failing ones
Updated 3 years ago
hifive on MSC+SMP too often fails IPC0001
Closed 3 years ago10
provide seL4test in Rust
Updated 3 years ago3
TX1 failed on seL4test
Closed 3 years ago1
SCHED0000 fails for PC99_release with clang 11
Closed 3 years ago
Building sel4 with sel4test fails, show "kernel/src/arch/x86/idle.c:25:1: error: 'noreturn' function does return [-Werror]"
Closed 3 years ago3
interspersed IOMMU messages in skylake output
Updated 3 years ago4
MIN_BUDGET definition in sel4test breaks test for TK1
Updated 3 years ago
How run sel4 test on TX2 board?
Closed 3 years ago1
sched0022_to_fn() does not return a value
Closed 3 years ago2
Sel4test freezes on imx8mq
Closed 3 years ago
Analyze test case BREAKPOINT_002 for race conditions
Updated 3 years ago
Ensure that the RESTART and BADGED bits are not set
Closed 4 years ago2
image stops at "Jumping to kernel-image entry point..."
Closed 4 years ago8
rockpro64: sel4test freezes at BIND0001 when SMP is enabled
Closed 4 years ago7
Couldn't understand error in simulation
Closed 5 years ago3
develop program for sel4
Closed 5 years ago1
sel4test builds are not reproducible
Closed 6 years ago4
riscv: FRAMEEXPORTS0001
Closed 6 years ago