1 /* 2 * Copyright (c) 2022, Arm Limited. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 * 6 */ 7 8 #ifndef __CONFIG_PARTITION_SPM_H__ 9 #define __CONFIG_PARTITION_SPM_H__ 10 11 #include "config_impl.h" 12 #include "config_tfm.h" 13 14 #ifdef CONFIG_TFM_CONNECTION_POOL_ENABLE 15 /* The maximal number of secure services that are connected or requested at the same time */ 16 #ifndef CONFIG_TFM_CONN_HANDLE_MAX_NUM 17 #pragma message("CONFIG_TFM_CONN_HANDLE_MAX_NUM is defaulted to 8. Please check and set it explicitly.") 18 #define CONFIG_TFM_CONN_HANDLE_MAX_NUM 8 19 #endif 20 #endif 21 22 /* Set the doorbell APIs */ 23 #ifndef CONFIG_TFM_DOORBELL_API 24 #if CONFIG_TFM_SPM_BACKEND_IPC == 1 25 #pragma message("CONFIG_TFM_DOORBELL_API is defaulted to 1 for IPC backend. Please check and set it explicitly.") 26 #define CONFIG_TFM_DOORBELL_API 1 27 #endif /* CONFIG_TFM_SPM_BACKEND_IPC == 1 */ 28 #endif /* !CONFIG_TFM_DOORBELL_API */ 29 30 /* Check invalid configs */ 31 #if (CONFIG_TFM_SPM_BACKEND_SFN == 1) && CONFIG_TFM_DOORBELL_API 32 #error "Invalid config: CONFIG_TFM_SPM_BACKEND_SFN AND CONFIG_TFM_DOORBELL_API!" 33 #endif 34 35 #endif /* __CONFIG_PARTITION_SPM_H__ */ 36
