diff --git a/apps/sel4bench/CMakeLists.txt b/apps/sel4bench/CMakeLists.txt
index 07b291e..74172cf 100644
--- 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()