From c59d4814f555788fd68f874f56295c0119a1b900 Mon Sep 17 00:00:00 2001
From: Axel Heider <axel.heider@codasip.com>
Date: Tue, 9 Apr 2024 19:42:02 +0200
Subject: [PATCH] use KernelFWholeProgram on RISC-V also

Signed-off-by: Axel Heider <axel.heider@codasip.com>
---
 settings.cmake | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/settings.cmake b/settings.cmake
index 54af1d77..d188f0bf 100644
--- 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)