PlatformSP: Add Platform service

TF-M Platform service is a trusted service which allows secure
partitions and non-secure applications to interact with some
platform-specific components. There are a number of features which
requires some interaction with platform-specific components which
are at the same time essential for the security of the system.
Therefore, those components need to be handled by a secure partition
which is part of the trusted compute base.

This patch adds the Platform service which provides the system reset
as a first function.

Change-Id: I68253328db22a45fb6a3d6820dd85b1e24ea96f0
Signed-off-by: Marc Moreno <marc.morenoberengue@arm.com>
diff --git a/interface/src/tfm_platform_api.c b/interface/src/tfm_platform_api.c
new file mode 100644
index 0000000..b4e1162
--- /dev/null
+++ b/interface/src/tfm_platform_api.c
@@ -0,0 +1,19 @@
+/*
+ * Copyright (c) 2018, Arm Limited. All rights reserved.
+ *
+ * SPDX-License-Identifier: BSD-3-Clause
+ *
+ */
+
+#include "tfm_platform_api.h"
+#include "tfm_platform_veneers.h"
+#include "tfm_ns_lock.h"
+
+enum tfm_platform_err_t tfm_platform_system_reset(void)
+{
+    return tfm_ns_lock_dispatch((veneer_fn)tfm_platform_veneer_system_reset,
+                                0,
+                                0,
+                                0,
+                                0);
+}