issues
search
seL4
/
sel4bench
sel4 benchmarking applications and support library.
Other
18
stars
30
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
sel4bench fails to build on gcc-11
#49
lsf37
opened
2 months ago
0
use KernelFWholeProgram on RISC-V also
#48
axel-h
opened
5 months ago
0
Remove the IRQ Benchmark
#47
danshea00
opened
5 months ago
0
CI: cancel older concurrent PR runs
#46
axel-h
closed
5 months ago
1
cmake: allow setting NANOPB_SRC_ROOT_FOLDER
#45
axel-h
closed
5 months ago
0
CI: the seL4/machine_queue repo is public now
#44
axel-h
closed
5 months ago
0
github: Fix index.html path
#43
Indanz
closed
6 months ago
0
github: re-enable performance results deployment
#42
lsf37
closed
6 months ago
0
Question about benchmark results
#41
ChenYangng
closed
2 months ago
1
github: bump actions to node20
#40
lsf37
closed
7 months ago
0
Improved page mapping benchmarks
#39
alwin-joshy
opened
9 months ago
0
dummy PR to run CI test for updating OpenSBI
#38
axel-h
closed
1 year ago
1
The results are not stable when using sel4bench.
#37
zqyzsj
opened
1 year ago
2
Add documentation for adding a new benchmark
#36
Wal-eed
closed
1 year ago
1
How can print log in a process spanwed by benchmark_spawn_process
#35
mincheolsung
opened
1 year ago
0
dummy commit
#34
axel-h
closed
1 year ago
0
Early Processing Methodology in More Benchmarks
#33
Courtney3141
closed
1 year ago
10
sel4bench build is failing for Quartz64
#32
lsf37
opened
1 year ago
6
bump action versions
#31
lsf37
closed
1 year ago
0
[Ignore] Dummy change for triggering sel4bench tests
#30
kent-mcleod
closed
1 year ago
15
Page-Mapping benchmark error "seL4_Fault_CapFault"
#29
jingjin666
closed
1 year ago
2
github: provide correct PR branch input
#28
lsf37
closed
2 years ago
0
morecore: Use 4k aligned morecore region
#27
kent-mcleod
closed
2 years ago
5
bench/signal: early processing methodology
#26
malus-brandywine
closed
1 year ago
37
bench/risc-v: apps/fault fails to build
#25
malus-brandywine
opened
2 years ago
1
CI action repo checkout python script get-prs can't find github module
#24
axel-h
closed
2 years ago
3
add CI build with clang
#23
axel-h
opened
2 years ago
2
avoid memset warning in apps/sel4bench/src/irq.c
#22
axel-h
opened
2 years ago
0
CI actions should build with clang also
#21
axel-h
opened
2 years ago
4
allow user to change bench options - riscv
#20
malus-brandywine
closed
2 years ago
14
github: enable sel4bench builds + runs for pull requests
#19
lsf37
closed
2 years ago
1
VM fault fastpath new benchmarks
#18
alwin-joshy
opened
2 years ago
14
Ability to change bench app options for RiscV
#17
malus-brandywine
opened
2 years ago
3
trivial: add default values to app selectors
#16
malus-brandywine
closed
2 years ago
0
Add CI action to test PRs to this repo
#15
axel-h
closed
2 years ago
3
add cmake script to choose benchmark apps
#14
malus-brandywine
closed
2 years ago
8
add cmake script to choose benchmark apps
#13
malus-brandywine
closed
2 years ago
1
VM fault fastpath benchmarks
#12
alwin-joshy
closed
2 years ago
0
Delete merged branch spdx
#11
axel-h
closed
2 years ago
1
github: deploy benchmark results to web
#10
lsf37
closed
2 years ago
0
github: add tx1 to hardware runs
#9
lsf37
closed
2 years ago
0
github: add sel4bench deployment action
#8
lsf37
closed
2 years ago
0
Remove kzm platform from benchmarks
#7
kent-mcleod
closed
3 years ago
0
trace_clearMemory: Add benchmark for clearMemory
#6
kent-mcleod
closed
2 years ago
2
SPDX license identifiers and seL4 Foundation setup
#5
lsf37
closed
3 years ago
3
riscv: add hardware benchmark support
#4
niwis
closed
4 years ago
8
Test PR 2
#3
LukeMondy
closed
5 years ago
0
Test PR 1
#2
LukeMondy
closed
5 years ago
0
Refactor page mapping benchmark
#1
vincenthouyi
closed
1 year ago
7