From dbb96776165a1a6707989fc942a0e5203265f4c2 Mon Sep 17 00:00:00 2001
From: Axel Heider <axelheider@gmx.de>
Date: Thu, 4 Jan 2024 18:26:53 +0100
Subject: [PATCH] use MCS verified config if available

Signed-off-by: Axel Heider <axelheider@gmx.de>
---
 standalone-kernel/compile_kernel.sh | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/standalone-kernel/compile_kernel.sh b/standalone-kernel/compile_kernel.sh
index 3a2e5642..2fd8437e 100755
--- a/standalone-kernel/compile_kernel.sh
+++ b/standalone-kernel/compile_kernel.sh
@@ -72,7 +72,14 @@ do_compile_kernel()
             MCS)
                 build_folder="${build_folder}-${variant}"
                 variant_info=" (${variant})"
-                extra_params="${extra_params} -DKernelIsMCS=TRUE"
+                # Use a dedicated config file if available, otherwise just use
+                # the default config and enable MCS.
+                try_config_file="configs/${INPUT_ARCH}_MCS_verified.cmake"
+                if [ -f "${try_config_file}" ]; then
+                    config_file=${try_config_file}
+                else
+                    extra_params="${extra_params} -DKernelIsMCS=TRUE"
+                fi
                 ;;
             *)
                 echo "Unknown variant '${variant}'"