use MCS verified config if available

Signed-off-by: Axel Heider <[email protected]>
seL4 · Jan 4, 2024 · b8d9dd1 · b8d9dd1
1 parent f3c6af7
commit b8d9dd1
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/standalone-kernel/compile_kernel.sh b/standalone-kernel/compile_kernel.sh
@@ -59,11 +59,17 @@ do_compile_kernel()
 
     variant_info=""
     build_folder=build
+    config_prefix="${INPUT_ARCH}"
     extra_params=""
     if [ ! -z "${variant}" ]; then
         case "${variant}" in
             MCS)
-                extra_params="${extra_params} -DKernelIsMCS=TRUE"
+                if [ -f configs/${config_prefix}_MCS_verified.cmake ]; then
+                    config_prefix="${config_prefix}_MCS"
+                else
+                    # just use the default and enable MCS
+                    extra_params="${extra_params} -DKernelIsMCS=TRUE"
+                fi
                 ;;
             *)
                 echo "Unknown variant '${variant}'"
@@ -81,7 +87,7 @@ do_compile_kernel()
 
         echo "::group::Run CMake${variant_info}"
         set -x
-        cmake -G Ninja -C ../configs/${INPUT_ARCH}_verified.cmake ${toolchain_flags} ${extra_params} ../
+        cmake -G Ninja -C ../configs/${config_prefix}_verified.cmake ${toolchain_flags} ${extra_params} ../
         set +x
         echo "::endgroup::"