issues
search
seL4
/
sel4test
Test suite for seL4.
http://sel4.systems
Other
25
stars
63
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Speedup Tests
#128
Indanz
closed
4 days ago
7
seL4test fails to compile with a `x86_64-unknown-none-elf` compiler
#127
wucke13
closed
1 month ago
8
(don't merge) Remove const qualifiers from domain schedule variables
#126
JE-Archer
opened
2 months ago
0
add test for round robin threads
#125
lsf37
opened
4 months ago
0
scheduler: resume does preempt
#124
lsf37
closed
4 months ago
0
ipc: re-enable test IPC0028
#123
lsf37
opened
5 months ago
0
remove explicit newline in ZF_LOGx()
#122
axel-h
closed
5 months ago
1
trivial: fix comment
#121
axel-h
closed
6 months ago
1
TIMER0001: remove unused variable
#120
axel-h
closed
6 months ago
0
CI: cancel older concurrent PR runs
#119
axel-h
closed
7 months ago
0
CI: the seL4/machine_queue repo is public now
#118
axel-h
closed
8 months ago
0
Allow setting NANOPB_SRC_ROOT_FOLDER
#117
axel-h
closed
8 months ago
5
SMC0001: Remove test of clobbered registers
#116
kent-mcleod
closed
9 months ago
1
Add tests for vCPU objects
#115
Ivan-Velickovic
opened
9 months ago
0
Add a test for injecting an IRQ on a vCPU without a TCB associated
#114
Ivan-Velickovic
closed
9 months ago
0
github: bump actions to node20
#113
lsf37
closed
9 months ago
0
TIMEOUTFAULT0002 stuck on ODROID_XU4_release_MCS_clang_32
#112
lsf37
opened
10 months ago
2
Hardware debug API: Extend to aarch64 and add single stepping test
#111
alwin-joshy
closed
10 months ago
11
CI: simulation and HW build with LLVM on RISCV
#110
axel-h
closed
10 months ago
0
SCHED0021 fails on star64 platform when config `LibUtilsDefaultZfLogLevel` is `0`
#109
canarysnort01
closed
1 year ago
4
Documentation fixes
#108
axel-h
closed
1 year ago
2
DOMAINS0001 runs into a assert in sel4test-tests/src/main.c@:250
#107
axel-h
opened
1 year ago
4
SCHED0021: allow for simulation tests again
#106
lsf37
closed
1 year ago
6
SCHED0021: decrease chances of a race condition
#105
lsf37
closed
1 year ago
2
settings: Disable timer tests for RocketChip
#104
Ivan-Velickovic
closed
5 months ago
0
Running test under SMP conditions on spike platform gets stuck.
#103
CtrlZ233
opened
1 year ago
2
settings: Disable timer tests for RocketChipZCU102
#102
Furao
closed
1 year ago
0
aarch64,smc: Add tests for SMC cap behaviors
#101
kent-mcleod
closed
9 months ago
16
aarch64: Minimal update for vspace API change
#100
kent-mcleod
closed
1 year ago
0
Fix: NULL-terminate existing_frames[] array
#99
heshamelmatary
closed
1 year ago
0
Cannot build sel4test for Rocketchip
#98
Ivan-Velickovic
closed
1 year ago
3
Add test for AArch64 cache instructions
#97
Ivan-Velickovic
opened
1 year ago
0
Test x86 with x2apic
#96
Indanz
opened
1 year ago
0
SCHED0014: fix misleading comment
#95
lsf37
closed
1 year ago
0
Add tests for all of the ARM cache operations on all kinds of frame mappings.
#94
Ivan-Velickovic
opened
1 year ago
7
pc99: SCHED0011 sometimes times out
#93
lsf37
opened
1 year ago
2
aarch64: Use 32-bit sized register names
#92
kent-mcleod
closed
1 year ago
2
hifive: TIMER0001 test isn't working (it passes instantly instead of taking 3 seconds)
#91
kent-mcleod
closed
1 year ago
2
github: enable hw-test and hw-build on PRs
#90
lsf37
closed
1 year ago
0
use config_set only for boolean config values
#89
lsf37
closed
5 months ago
6
Change PT0002 for aarch32 and add new tests related to overmapping
#88
alwin-joshy
opened
1 year ago
0
Added new tests for overmapping
#87
alwin-joshy
closed
1 year ago
0
better defaults for tests with NUM_DOMAINS > 1
#86
lsf37
closed
1 year ago
1
Add tests for SMC Capability
#85
Furao
closed
1 year ago
1
Create thread with setting pc and call seL4_Send cause vm fault
#84
lingcs00
closed
2 years ago
1
disable timer test for Quartz64
#83
axel-h
closed
2 years ago
1
Set SIMULATION for QEMU RISC-V virt by default
#82
axel-h
closed
2 years ago
0
SCHED0022: do not request unnecessary refills
#81
lsf37
closed
2 years ago
0
TK1 and ODROID_XU4 fail `CACHEFLUSH0001`
#80
lsf37
opened
2 years ago
3
Set SIMULATION for Spike platform by default
#79
Ivan-Velickovic
closed
2 years ago
4
Next