| Ken Liu | 82e3eac | 2021-10-14 16:19:13 +0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2021, Arm Limited. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | * |
| 6 | */ |
| 7 | |
| 8 | #ifndef __PSA_CONFIG_H__ |
| 9 | #define __PSA_CONFIG_H__ |
| 10 | |
| 11 | /* |
| 12 | * This is an implementation-specific file that supporting PSA standard |
| 13 | * files. The reason to name with prefix 'psa' is to showcase a straight |
| 14 | * reference configuration. Because both NSPE and SPE clients are using |
| 15 | * the same API but link with the different declarations, this file can |
| 16 | * help to indicate the current building to apply PE-specific or |
| 17 | * configuration-specific settings. |
| 18 | */ |
| 19 | |
| 20 | /* |
| 21 | * A customized flag indicating SPE build. Systems like CMSIS may use |
| 22 | * 'DOMAIN_NS' as the indicator. As NSPE is not guaranteed to be |
| 23 | * CMSIS compatible, a customized flag provides availability. |
| 24 | */ |
| 25 | #if defined(CONFIG_TFM_BUILDING_SPE) |
| 26 | |
| 27 | /* SPE has specific configurations. */ |
| 28 | #include "config_impl.h" |
| Shawn Shan | 2cde38b | 2021-12-27 16:07:03 +0800 | [diff] [blame] | 29 | #include "psa_interface_redirect.h" |
| Ken Liu | 82e3eac | 2021-10-14 16:19:13 +0800 | [diff] [blame] | 30 | |
| 31 | #endif |
| 32 | |
| 33 | #endif /* __PSA_CONFIG_H__ */ |