blob: 728301f882cc128d9aa66b60c00b9e2b1a2141f4 [file] [log] [blame]
Xinyu Zhangcdbe3622022-10-31 14:34:25 +08001/*
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/* The maximal number of secure services that are connected or requested at the same time */
15#ifndef CONFIG_TFM_CONN_HANDLE_MAX_NUM
16#pragma message ("CONFIG_TFM_CONN_HANDLE_MAX_NUM is defaulted to 8. Please check and set it explicitly.")
17#define CONFIG_TFM_CONN_HANDLE_MAX_NUM 8
18#endif
19
20/* Enable the doorbell APIs */
21#ifndef CONFIG_TFM_DOORBELL_API
22#pragma message ("CONFIG_TFM_DOORBELL_API is defaulted to 1. Please check and set it explicitly.")
23#define CONFIG_TFM_DOORBELL_API 1
24#endif
25
26/* Disable doorbell for SFN backend */
27#if CONFIG_TFM_SPM_BACKEND_SFN == 1
28#pragma message ("CONFIG_TFM_DOORBELL_API is redefined to 0.")
29#undef CONFIG_TFM_DOORBELL_API
30#define CONFIG_TFM_DOORBELL_API 0
31#endif
32
33#endif /* __CONFIG_PARTITION_SPM_H__ */