commit e17926f9b22541d8fa65afb1e714ba1bb83cd838
author Xinyu Zhang <xinyu.zhang@arm.com> Mon Aug 14 11:00:43 2023 +0800
committer Xinyu Zhang <xinyu.zhang@arm.com> Mon Aug 14 11:00:46 2023 +0800
tree 87f6fad709c9f01e4419c436a799509715262429
parent d23cbda5bd0c4307331a5f4125de05337e7a2c1c

Build: Update configs for MISRA

This patch updates TFM_ISOLATION_LEVEL to match corresponding profiles:
 - Profile Small: isolation level 1
 - Profile Medium-ARoT-less: isolation level 1
 - Profile Medium: isolation level 2
 - Profile Large: isolation level 3

Signed-off-by: Xinyu Zhang <xinyu.zhang@arm.com>
Change-Id: I545b639112ccce4dd6d64ff7498fbe241ae39145

build_helper/build_helper_configs.py

diff --git a/build_helper/build_helper_configs.py b/build_helper/build_helper_configs.py
index 0f1ae93..4d7f4e4 100755
--- a/build_helper/build_helper_configs.py
+++ b/build_helper/build_helper_configs.py
@@ -587,10 +587,18 @@
                 "test_psa_api":     ["OFF"],
                 "cmake_build_type": ["Debug"],
                 "with_bl2":         [True],
-                "profile":          ["profile_small", "profile_medium_arotless", "profile_medium", "profile_large"],
+                "profile":          ["profile_small", "profile_medium_arotless"],
                 "extra_params":     ["PSOFF"]
                 },
                 "common_params": _common_tfm_builder_cfg,
+                "valid": [
+                    # MUSCA_B1_GCC_2_Debug_BL2_MEDIUM_PSOFF
+                    ("arm/musca_b1", "GCC_10_3", "2", "OFF",
+                     "OFF", "Debug", True, "profile_medium", "PSOFF"),
+                    # MUSCA_B1_GCC_3_Debug_BL2_LARGE_PSOFF
+                    ("arm/musca_b1", "GCC_10_3", "3", "OFF",
+                     "OFF", "Debug", True, "profile_large", "PSOFF"),
+                ],
                 "invalid": _common_tfm_invalid_configs + []
                 }