| Kevin Peng | 5cba61c | 2023-01-06 14:23:15 +0800 | [diff] [blame] | 1 | #------------------------------------------------------------------------------- |
| 2 | # Copyright (c) 2022-2023, Arm Limited. All rights reserved. |
| Chris Brand | 80326b7 | 2023-03-15 13:07:49 -0700 | [diff] [blame^] | 3 | # Copyright (c) 2023 Cypress Semiconductor Corporation (an Infineon company) |
| 4 | # or an affiliate of Cypress Semiconductor Corporation. All rights reserved. |
| Kevin Peng | 5cba61c | 2023-01-06 14:23:15 +0800 | [diff] [blame] | 5 | # |
| 6 | # SPDX-License-Identifier: BSD-3-Clause |
| 7 | # |
| 8 | #------------------------------------------------------------------------------- |
| 9 | |
| 10 | menu "TF-M SPM component configs" |
| 11 | |
| 12 | config 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 | |
| 19 | config CONFIG_TFM_DOORBELL_API |
| 20 | bool "Enable the doorbell APIs" |
| 21 | depends on TFM_SPM_BACKEND_IPC |
| 22 | default y |
| Chris Brand | 80326b7 | 2023-03-15 13:07:49 -0700 | [diff] [blame^] | 23 | |
| 24 | config CONFIG_TFM_SCHEDULE_WHEN_NS_INTERRUPTED |
| 25 | bool "Run the scheduler after a secure interrupt pre-empts the NSPE" |
| 26 | default n |
| Kevin Peng | 5cba61c | 2023-01-06 14:23:15 +0800 | [diff] [blame] | 27 | endmenu |