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 | |
Kevin Peng | ec73594 | 2022-01-29 17:26:50 +0800 | [diff] [blame] | 27 | #ifdef TFM_PSA_API |
Ken Liu | 82e3eac | 2021-10-14 16:19:13 +0800 | [diff] [blame] | 28 | /* SPE has specific configurations. */ |
| 29 | #include "config_impl.h" |
Kevin Peng | ec73594 | 2022-01-29 17:26:50 +0800 | [diff] [blame] | 30 | #endif /* TFM_PSA_API */ |
| 31 | |
Shawn Shan | 2cde38b | 2021-12-27 16:07:03 +0800 | [diff] [blame] | 32 | #include "psa_interface_redirect.h" |
Ken Liu | 82e3eac | 2021-10-14 16:19:13 +0800 | [diff] [blame] | 33 | |
| 34 | #endif |
| 35 | |
| 36 | #endif /* __PSA_CONFIG_H__ */ |