1#-------------------------------------------------------------------------------
2# Copyright (c) 2022-2023, Arm Limited. All rights reserved.
3# Copyright (c) 2023 Cypress Semiconductor Corporation (an Infineon company)
4# or an affiliate of Cypress Semiconductor Corporation. All rights reserved.
5#
6# SPDX-License-Identifier: BSD-3-Clause
7#
8#-------------------------------------------------------------------------------
9
10menu "TF-M SPM component configs"
11
12config CONFIG_TFM_CONN_HANDLE_MAX_NUM
13    int "Maximal number of handling secure services"
14    default 8
15    help
16      The maximal number of secure services that are connected or requested at
17      the same time
18
19config CONFIG_TFM_DOORBELL_API
20    bool "Enable the doorbell APIs"
21    depends on CONFIG_TFM_SPM_BACKEND_IPC
22    default y
23
24config CONFIG_TFM_SCHEDULE_WHEN_NS_INTERRUPTED
25    bool "Run the scheduler after a secure interrupt pre-empts the NSPE"
26    default n
27endmenu
28