Open malus-brandywine opened 2 years ago
DefaultBenchDeps
is used to convey when a certain set of benchmark dependencies are met that benchmark apps can then assume to be present. What it means is not very well defined, and it would likely be an improvement if it was broken down into more fine-grained feature flags. It's probably fine to enable for RISC-V because it now supports reading the cycle counter. Although support for reading other event counters only seems implemented for hifive, which could some benchmark apps to not work on non-hifive platforms.
So essentially, this setting should only be enabled for platforms that can properly run all of the benchmarks that it enables.
Hi,
Does anyone remember why sel4bench configuration for RiscV was not allowed to change bench app options?
If it was skipped because it was not necessary then I'd like to fix it.
I would add a line to https://github.com/seL4/sel4bench/blob/master/apps/sel4bench/CMakeLists.txt
(copying it to devel mailing list)
Thanks!