| commit | cc31d4035bb613660ed8cba09401fb265c868ffa | [log] [tgz] |
|---|---|---|
| author | Jamie Fox <jamie.fox@arm.com> | Mon Jan 28 17:13:52 2019 +0000 |
| committer | Antonio de Angelis <antonio.deangelis@arm.com> | Fri Jul 12 10:22:46 2019 +0100 |
| tree | 0d4cf3f5835d1aadaf1cbf270b9ca260a4e5214c | |
| parent | ba1fa9ad23419edc6738f42fd6796bc3aeb5145e [diff] [blame] |
Interface: Rename PSA headers Renames PSA headers from psa_<api>.h to psa/<api>.h. Change-Id: I3fc552c39f9a7e6d54e7a7a2f82f076bd03d30a7 Signed-off-by: Jamie Fox <jamie.fox@arm.com>
diff --git a/platform/include/tfm_platform_system.h b/platform/include/tfm_platform_system.h index c248fe5..c297d3b 100644 --- a/platform/include/tfm_platform_system.h +++ b/platform/include/tfm_platform_system.h
@@ -12,7 +12,7 @@ * target. */ -#include "psa_client.h" +#include "psa/client.h" #include "tfm_plat_defs.h" #include "tfm_platform_api.h"