diff options
Diffstat (limited to 'platform/providers/ts/vanilla/platform.cmake')
-rw-r--r-- | platform/providers/ts/vanilla/platform.cmake | 23 |
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() |