diff --git a/libsel4bench/CMakeLists.txt b/libsel4bench/CMakeLists.txt
index 4b89d9a3..617a5f04 100644
--- a/libsel4bench/CMakeLists.txt
+++ b/libsel4bench/CMakeLists.txt
@@ -40,6 +40,15 @@ elseif(KernelArchARM)
         src/arch/${KernelArch}/armv/${KernelArmArmV}/event_counters.c
         src/arch/${KernelArch}/cpu/${KernelArmCPU}/event_counters.c
     )
+    target_include_directories(
+        sel4bench
+        PUBLIC
+            "arch_include/${KernelArch}/armv/${KernelArmArmV}"
+            "arch_include/${KernelArch}/cpu/${KernelArmCPU}"
+    )
+    if(KernelArchArmV7ve)
+        target_include_directories(sel4bench PUBLIC "arch_include/${KernelArch}/armv/armv7-a")
+    endif()
 elseif(KernelArchRiscV)
     # empty
 else()
@@ -48,15 +57,8 @@ endif()
 
 target_include_directories(
     sel4bench
-    PUBLIC
-        include
-        "arch_include/${KernelArch}/armv/${KernelArmArmV}"
-        "arch_include/${KernelArch}/cpu/${KernelArmCPU}"
-        "sel4_arch_include/${KernelSel4Arch}"
-        "arch_include/${KernelArch}"
-        src
+    PUBLIC "sel4_arch_include/${KernelSel4Arch}" "arch_include/${KernelArch}" "include"
+    PRIVATE "src"
 )
-if(KernelArmArmV STREQUAL "armv7ve")
-    target_include_directories(sel4bench PUBLIC "arch_include/${KernelArch}/armv/armv7-a")
-endif()
+
 target_link_libraries(sel4bench muslc sel4 utils sel4_autoconf)