seL4 / sel4bench

sel4 benchmarking applications and support library.

seL4/sel4bench Issues

Remove the IRQ Benchmark
Updated 5 months ago
Question about benchmark results
Updated 7 months ago1
The results are not stable when using sel4bench.
Updated a year ago2
How can print log in a process spanwed by benchmark_spawn_process
Updated 2 years ago
sel4bench build is failing for Quartz64
Updated 2 years ago6
Page-Mapping benchmark error "seL4_Fault_CapFault"
Closed 2 years ago2
bench/risc-v: apps/fault fails to build
Updated 2 years ago1
Ability to change bench app options for RiscV
Updated 3 years ago3
CI action repo checkout python script get-prs can't find github module
Closed 3 years ago3
CI actions should build with clang also
Updated 3 years ago4
avoid memset warning in apps/sel4bench/src/irq.c
Updated 3 years ago
Add CI action to test PRs to this repo
Closed 3 years ago3
Delete merged branch spdx
Closed 3 years ago1