| # Copyright (c) 2025 Nordic Semiconductor ASA | |
| # SPDX-License-Identifier: Apache-2.0 | |
| config BOARD_MPS4 | |
| select BUILD_WITH_TFM if BOARD_MPS4_CORSTONE315_FVP_NS || BOARD_MPS4_CORSTONE320_FVP_NS | |
| select TRUSTED_EXECUTION_NONSECURE if BOARD_MPS4_CORSTONE315_FVP_NS || BOARD_MPS4_CORSTONE320_FVP_NS |