| /* |
| * Copyright (c) 2021, Arm Limited. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| * |
| */ |
| |
| {{utilities.donotedit_warning}} |
| |
| #ifndef __CONFIG_IMPL_H__ |
| #define __CONFIG_IMPL_H__ |
| |
| {% if ipc_partition_num > 0 and sfn_partition_num == 0 %} |
| #define {{"%-56s"|format("CONFIG_TFM_SPM_BACKEND_IPC")}} 1 |
| #define {{"%-56s"|format("CONFIG_TFM_PSA_API_SUPERVISOR_CALL")}} 1 |
| |
| {% elif sfn_partition_num > 0 and ipc_partition_num == 0 %} |
| #define CONFIG_TFM_SPM_BACKEND_SFN 1 |
| |
| #if TFM_LVL > 1 |
| #error "High isolation level SFN model is not supported." |
| #endif |
| |
| {% elif sfn_partition_num > 0 and ipc_partition_num > 0 %} |
| #error "IPC and SFN co-work not supported yet." |
| {% else %} |
| #error "Invalid partition number input, check configurations." |
| {% endif %} |
| #include "psa_interface_redirect.h" |
| |
| #endif /* __CONFIG_IMPL_H__ */ |