On Wed, 9 Feb 2022, 05:20 Nataliya Korovkina, <[email protected]> wrote:
> 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. > For anyone else looking for an answer to this, discussion has been happening on GitHub : https://github.com/seL4/sel4bench/issues/17 I would add a line to > https://github.com/seL4/sel4bench/blob/master/apps/sel4bench/CMakeLists.txt > > --- a/apps/sel4bench/CMakeLists.txt > +++ b/apps/sel4bench/CMakeLists.txt > @@ -35,14 +35,15 @@ config_string( > > # Default dependencies on kernel benchmarking features. Declared here so > that > # all the benchmark applications can use it > if( > (KernelArchX86 AND KernelExportPMCUser AND KernelX86DangerousMSR) > OR (KernelArchARM AND KernelArmExportPMUUser) > OR (KernelArchArmCortexA8 AND KernelDangerousCodeInjection) > + OR (KernelArchRiscV) > ) > set(DefaultBenchDeps TRUE) > else() > set(DefaultBenchDeps FALSE) > endif() > > find_package(musllibc REQUIRED) > > > > Thanks, > Nataliya > _______________________________________________ > Devel mailing list -- [email protected] > To unsubscribe send an email to [email protected] > _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
