use KernelFWholeProgram on RISC-V also

Signed-off-by: Axel Heider <[email protected]>
axel-h · Apr 18, 2024 · c59d481 · c59d481
1 parent 0594cd5
commit c59d481
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/settings.cmake b/settings.cmake
@@ -64,9 +64,7 @@ if(NOT Sel4benchAllowSettingsOverride)
     # This option is controlled by ApplyCommonReleaseVerificationSettings
     mark_as_advanced(CMAKE_BUILD_TYPE)
     if(RELEASE)
-        if(NOT KernelArchRiscV)
-            set(KernelFWholeProgram ON CACHE BOOL "" FORCE)
-        endif()
+        set(KernelFWholeProgram ON CACHE BOOL "" FORCE)
     endif()
 
     if(FASTPATH)