From 433c8144d8b6da64f210257781770f68c015889c Mon Sep 17 00:00:00 2001
From: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Date: Thu, 6 Feb 2025 15:44:37 +1100
Subject: [PATCH] config.cmake: fix depends line

Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
---
 config.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.cmake b/config.cmake
index 30e7f624d..8a15d4f80 100644
--- a/config.cmake
+++ b/config.cmake
@@ -521,7 +521,7 @@ config_option(
     Useful for profiling."
     DEFAULT OFF
     DEPENDS
-        "NOT KernelARMHypervisorSupport;NOT KernelVerificationBuild;NOT KernelPlatformHikey;NOT KernelSkimWindow"
+        "NOT KernelArmHypervisorSupport;NOT KernelVerificationBuild;NOT KernelPlatformHikey;NOT KernelSkimWindow"
 )
 
 config_option(