[seL4] Ability to change bench app options for RiscV

9 Feb 2022

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

--- 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

    

[seL4] Ability to change bench app options for RiscV

Nataliya Korovkina