Interface: Enable Platform service in IPC model

Enable Platform Secure service in IPC model

 - modify Cmake files to build the service for IPC model
 - create NS API source file
 - add IPC model implementation to secure API file
 - add services to Platform Secure partition's yaml file
 - declare IPC support for the Platform Secure partition in
   tfm_manifest_list.yaml
 - enable reset service /SPM request in IPC mode

Change-Id: I553b7c64bb90c65e6200c619b7c0b30881bf490f
Signed-off-by: Mate Toth-Pal <mate.toth-pal@arm.com>
diff --git a/secure_fw/spm/spm_db.h b/secure_fw/spm/spm_db.h
index 3c3aa95..c5869fc 100644
--- a/secure_fw/spm/spm_db.h
+++ b/secure_fw/spm/spm_db.h
@@ -68,10 +68,8 @@
 /* Macros to pick linker symbols and allow to form the partition data base */
 #define REGION(a, b, c) a##b##c
 #define REGION_NAME(a, b, c) REGION(a, b, c)
-#ifndef TFM_PSA_API
-#define REGION_DECLARE(a, b, c)
-#else
 #define REGION_DECLARE(a, b, c) extern uint32_t REGION_NAME(a, b, c)
+#ifdef TFM_PSA_API
 #define PART_REGION_ADDR(partition, region) \
     (uint32_t)&REGION_NAME(Image$$, partition, region)
 #endif
diff --git a/secure_fw/spm/tfm_spm_db.inc b/secure_fw/spm/tfm_spm_db.inc
index 6302cd3..a854967 100644
--- a/secure_fw/spm/tfm_spm_db.inc
+++ b/secure_fw/spm/tfm_spm_db.inc
@@ -533,7 +533,7 @@
         .psa_framework_version = 0x0100,
 #endif /* defined(TFM_PSA_API) */
         .partition_id         = TFM_SP_PLATFORM,
-        .partition_flags      = 0
+        .partition_flags      = SPM_PART_FLAG_IPC
                               | SPM_PART_FLAG_PSA_ROT | SPM_PART_FLAG_APP_ROT
                               ,
         .partition_priority   = TFM_PRIORITY(NORMAL),