| #------------------------------------------------------------------------------- |
| # Copyright (c) 2022-2023, Arm Limited. All rights reserved. |
| # Copyright (c) 2023 Cypress Semiconductor Corporation (an Infineon company) |
| # or an affiliate of Cypress Semiconductor Corporation. All rights reserved. |
| # |
| # SPDX-License-Identifier: BSD-3-Clause |
| # |
| #------------------------------------------------------------------------------- |
| |
| menu "TF-M SPM component configs" |
| |
| config CONFIG_TFM_CONN_HANDLE_MAX_NUM |
| int "Maximal number of handling secure services" |
| default 8 |
| help |
| The maximal number of secure services that are connected or requested at |
| the same time |
| |
| config CONFIG_TFM_DOORBELL_API |
| bool "Enable the doorbell APIs" |
| depends on CONFIG_TFM_SPM_BACKEND_IPC |
| default y |
| |
| config CONFIG_TFM_SCHEDULE_WHEN_NS_INTERRUPTED |
| bool "Run the scheduler after a secure interrupt pre-empts the NSPE" |
| default n |
| endmenu |