Fix USER_TOP config option being unconditional

Signed-off-by: Ivan Velickovic <[email protected]>
axel-h · Feb 29, 2024 · 70c7caf · 70c7caf
1 parent 3740c29
commit 70c7caf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/plat/qemu-arm-virt/config.cmake b/src/plat/qemu-arm-virt/config.cmake
@@ -273,5 +273,5 @@ config_string(
     KernelUserTop USER_TOP "Set seL4_UserTop constant"
     DEFAULT ${qemu_user_top}
     UNQUOTE
-    DEPENDS "KernelPlatformQEMUArmVirt;KernelSel4ArchAarch32"
+    DEPENDS "KernelPlatformQEMUArmVirt;KernelSel4ArchAarch32" UNDEF_DISABLED
 )