Skip to content

Issues: seL4/sel4test

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
13 Open 29 Closed
13 Open 29 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

seL4test fails to compile with a x86_64-unknown-none-elf compiler
#127 by wucke13 was closed Nov 1, 2024
8
SCHED0021 fails on star64 platform when config LibUtilsDefaultZfLogLevel is 0
#109 by canarysnort01 was closed Nov 12, 2023
4
Cannot build sel4test for Rocketchip
#98 by Ivan-Velickovic was closed Oct 23, 2023
3
hifive: TIMER0001 test isn't working (it passes instantly instead of taking 3 seconds)
#91 by kent-mcleod was closed Jun 27, 2023
@Indanz
2
Create thread with setting pc and call seL4_Send cause vm fault
#84 by lingcs00 was closed Nov 25, 2022
1
seL4test/projects/musllibc/configure: not found
#75 by wangzhankun was closed Apr 19, 2022
9
TX1 failed on seL4test duplicate
#69 by Jerryy959 was closed Jan 30, 2022
1
‘Caught cap fault …’ while trying to read/write device register
#67 by chenSevenHalf was closed May 18, 2022
6
Test MULTICORE0005 fails on SABRE sporadically help wanted
#66 by axel-h was closed Feb 27, 2025
2
TK1 sometimes fails CACHEFLUSH0001 duplicate
#65 by lsf37 was closed Mar 28, 2024
1
hifive on MSC+SMP too often fails IPC0001
#64 by lsf37 was closed Feb 6, 2022
10
SCHED0000 fails for PC99_release with clang 11
#61 by lsf37 was closed Dec 8, 2021
1
MIN_BUDGET definition in sel4test breaks test for TK1 MCS
#58 by lsf37 was closed Feb 27, 2025
1
How run sel4 test on TX2 board?
#57 by wjhtinger was closed Nov 10, 2021
1
Nitrogen6_SoloX board serial output doesn't work when sel4test -DRELEASE=ON is used
#55 by kent-mcleod was closed May 18, 2022
4
Building sel4 with sel4test fails, show "kernel/src/arch/x86/idle.c:25:1: error: 'noreturn' function does return [-Werror]"
#53 by oska874 was closed Dec 7, 2021
3
when I build sel4 with sel4test, error occors that "UnicodeDecodeError: 'ascii' codec can't decode byte"
#52 by oska874 was closed Mar 8, 2022
6
sched0022_to_fn() does not return a value bug
#47 by axel-h was closed Aug 28, 2021
1
2
test MULTICORE_0004 sometimes hangs help wanted
#44 by lsf37 was closed Feb 27, 2025
@Indanz
12
Test SCHED0021 has a race condition bug
#42 by axel-h was closed Oct 27, 2023
1
Sel4test freezes on imx8mq
#41 by licosec was closed Jul 26, 2021
sel4testdriver causes vmfault on completion; expected or not?
#27 by bennoleslie was closed Mar 6, 2022
2
rockpro64: sel4test freezes at BIND0001 when SMP is enabled
#25 by canarysnort01 was closed Sep 16, 2020
1
@xurtis
7
image stops at "Jumping to kernel-image entry point..."
#22 by AKADiNG was closed Nov 23, 2020
8
Couldn't understand error in simulation
#19 by mrbahrani was closed Nov 15, 2019
3
ProTip! Add no:assignee to see everything that’s not assigned.