aboutsummaryrefslogtreecommitdiff
path: root/platform/providers/ts/vanilla/platform.cmake
diff options
context:
space:
mode:
Diffstat (limited to 'platform/providers/ts/vanilla/platform.cmake')
-rw-r--r--platform/providers/ts/vanilla/platform.cmake23
1 files changed, 23 insertions, 0 deletions
diff --git a/platform/providers/ts/vanilla/platform.cmake b/platform/providers/ts/vanilla/platform.cmake
new file mode 100644
index 000000000..823018123
--- /dev/null
+++ b/platform/providers/ts/vanilla/platform.cmake
@@ -0,0 +1,23 @@
+#-------------------------------------------------------------------------------
+# Copyright (c) 2021, Arm Limited and Contributors. All rights reserved.
+#
+# SPDX-License-Identifier: BSD-3-Clause
+#
+# Platform definition for the 'vanilla' platform. The vanilla platform
+# doesn't provide any hardware backed services so it should only be used
+# when an environment provides all necessary native services for a
+# deployment.
+#-------------------------------------------------------------------------------
+if (NOT DEFINED TGT)
+ message(FATAL_ERROR "mandatory parameter TGT is not defined.")
+endif()
+
+get_property(_platform_driver_dependencies TARGET ${TGT}
+ PROPERTY TS_PLATFORM_DRIVER_DEPENDENCIES
+)
+
+# Flag error if there are platform driver dependencies. This will happen if
+# a suitable platform has not been specified.
+if (_platform_driver_dependencies)
+ message(FATAL_ERROR "Need to specify a compatible platform. Deployment depends on platform drivers: ${_platform_driver_dependencies}")
+endif()