Search results

Wrong assumption about number of counters in benchmarks

Status: Open.

#64 In seL4/sel4bench;

· JDuchniewicz opened on Dec 9, 2025

Cap errors and faults on debug build for page_mapping benchmark

Status: Open.

#60 In seL4/sel4bench;

· JDuchniewicz opened on Nov 20, 2025

sel4bench fails to build on gcc-11

Status: Open.

#49 In seL4/sel4bench;

· lsf37 opened on Jul 3, 2024

The results are not stable when using sel4bench.

Status: Open.

#37 In seL4/sel4bench;

· zqyzsj opened on Apr 16, 2023

How can print log in a process spanwed by benchmark_spawn_process

Status: Open.

#35 In seL4/sel4bench;

· mincheolsung opened on Dec 24, 2022

sel4bench build is failing for Quartz64

Status: Open.

#32 In seL4/sel4bench;

· lsf37 opened on Nov 22, 2022

bench/risc-v: apps/fault fails to build

Status: Open.

#25 In seL4/sel4bench;

· malus-brandywine opened on Feb 17, 2022

CI actions should build with clang also

CIcontinuous integration and testingcontinuous integration and testing

enhancement

Status: Open.

#21 In seL4/sel4bench;

· axel-h opened on Feb 12, 2022

Ability to change bench app options for RiscV

Status: Open.

#17 In seL4/sel4bench;

· malus-brandywine opened on Feb 8, 2022