Platform: IOCTL for platform-specific services

Introduce new API function in HAL and a new generic platform
service to provide the means for platforms to implement proprietary
functions using a uniform framework and a single secure entry point.

Change-Id: I72ddbb3342ae851fe9851ccb27a54c8f4322b01f
Signed-off-by: Miklos Balint <miklos.balint@arm.com>
diff --git a/platform/readme.rst b/platform/readme.rst
index 20e5fbc..0dac5e9 100644
--- a/platform/readme.rst
+++ b/platform/readme.rst
@@ -7,9 +7,9 @@
     This folder and subfolders, especially the target folder, are likely to be
     refactored and updated to improve the overall structure of dependencies.
 
-**************************
-Interfacing with TF-M core
-**************************
+*********************
+Interfacing with TF-M
+*********************
 
 platformext/target/tfm_peripherals_def.h
 ========================================
@@ -35,13 +35,19 @@
 platform/include/tfm_spm_hal.h
 ==============================
 This file contains the declarations of functions that a platform implementation
-has to provide for TF-M. For details see the comments in the file.
+has to provide for TF-M's SPM. For details see the comments in the file.
 
 secure_fw/core/tfm_platform_core_api.h
 ======================================
 This file contains declarations of functions that can be or have to be called
 from platform implementations. For details see the comments in the file.
 
+platform/include/tfm_platform_system.h
+======================================
+This file contains the declarations of functions that a platform implementation
+has to provide for TF-M's Platform Service. For details see
+``docs/user_guides/services/tfm_platform_integration_guide.rst``
+
 ***********
 Sub-folders
 ***********