use ARM_MCS_verified config for MCS build

Signed-off-by: Axel Heider <[email protected]>
seL4 · Jan 4, 2024 · 633b5d4 · 633b5d4
1 parent 188524f
commit 633b5d4
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/standalone-kernel/compile_kernel.sh b/standalone-kernel/compile_kernel.sh
@@ -66,9 +66,14 @@ function do_compile_kernel()
     shift 1
     extra_cmake_params="$@"
 
+    local config_prefix=${INPUT_ARCH}
+    if [[ "${extra_info}" == "MCS" && "${INPUT_ARCH}" == "ARM" ]]; then
+        config_prefix=${INPUT_ARCH}_MCS
+    fi
+
     local cmake_params=(
         -G Ninja
-        -C ../configs/${INPUT_ARCH}_verified.cmake
+        -C ../configs/${config_prefix}_verified.cmake
         -DCMAKE_TOOLCHAIN_FILE=${INPUT_COMPILER}.cmake
         ${cmake_params[@]}
         ${extra_cmake_params[@]}