bench/risc-v: allow user to change options

DefaultBenchDeps is set to TRUE when benchmark suite is being built for RiscV to enable configure benchmark options. Signed-off-by: Nataliya Korovkina <[email protected]>
seL4 · Feb 17, 2022 · 8fa986b · 8fa986b
1 parent 1cd987f
commit 8fa986b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/apps/sel4bench/CMakeLists.txt b/apps/sel4bench/CMakeLists.txt
@@ -39,6 +39,7 @@ if(
     (KernelArchX86 AND KernelExportPMCUser AND KernelX86DangerousMSR)
     OR (KernelArchARM AND KernelArmExportPMUUser)
     OR (KernelArchArmCortexA8 AND KernelDangerousCodeInjection)
+    OR (KernelArchRiscV)
 )
     set(DefaultBenchDeps TRUE)
 else()