Giters
seL4
/
sel4test
Test suite for seL4.
Home Page:
http://sel4.systems
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
24
Watchers:
30
Issues:
41
Forks:
60
seL4/sel4test Issues
test MULTICORE_0004 sometimes hangs
Updated
a month ago
Comments count
10
TK1 and ODROID_XU4 fail `CACHEFLUSH0001`
Updated
6 months ago
Comments count
3
TK1 sometimes fails CACHEFLUSH0001
Closed
6 months ago
Comments count
1
Add tests for vCPU objects
Updated
7 months ago
TIMEOUTFAULT0002 stuck on ODROID_XU4_release_MCS_clang_32
Updated
8 months ago
Comments count
2
SCHED0021 fails on star64 platform when config `LibUtilsDefaultZfLogLevel` is `0`
Closed
10 months ago
Comments count
4
DOMAINS0001 runs into a assert in sel4test-tests/src/main.c@:250
Updated
10 months ago
Comments count
4
Test SCHED0021 has a race condition
Closed
a year ago
Cannot build sel4test for Rocketchip
Closed
a year ago
Comments count
3
Running test under SMP conditions on spike platform gets stuck.
Updated
a year ago
Comments count
2
hifive: TIMER0001 test isn't working (it passes instantly instead of taking 3 seconds)
Closed
a year ago
Comments count
2
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 ago
Comments count
1
Create thread with setting pc and call seL4_Send cause vm fault
Closed
2 years ago
Comments count
1
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 ago
Comments count
4
‘Caught cap fault …’ while trying to read/write device register
Closed
2 years ago
Comments count
6
seL4test/projects/musllibc/configure: not found
Closed
2 years ago
Comments count
9
Inform the user that their settings might be getting overridden
Updated
3 years ago
Comments count
2
when I build sel4 with sel4test, error occors that "UnicodeDecodeError: 'ascii' codec can't decode byte"
Closed
3 years ago
Comments count
6
sel4testdriver causes vmfault on completion; expected or not?
Closed
3 years ago
Comments count
2
ZCU102: Enable HAVE_TIMER tests and fix failing ones
Updated
3 years ago
hifive on MSC+SMP too often fails IPC0001
Closed
3 years ago
Comments count
10
provide seL4test in Rust
Updated
3 years ago
Comments count
3
TX1 failed on seL4test
Closed
3 years ago
Comments count
1
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 ago
Comments count
3
interspersed IOMMU messages in skylake output
Updated
3 years ago
Comments count
4
MIN_BUDGET definition in sel4test breaks test for TK1
Updated
3 years ago
How run sel4 test on TX2 board?
Closed
3 years ago
Comments count
1
sched0022_to_fn() does not return a value
Closed
3 years ago
Comments count
2
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 ago
Comments count
2
image stops at "Jumping to kernel-image entry point..."
Closed
4 years ago
Comments count
8
rockpro64: sel4test freezes at BIND0001 when SMP is enabled
Closed
4 years ago
Comments count
7
Couldn't understand error in simulation
Closed
5 years ago
Comments count
3
develop program for sel4
Closed
5 years ago
Comments count
1
sel4test builds are not reproducible
Closed
6 years ago
Comments count
4
riscv: FRAMEEXPORTS0001
Closed
6 years ago