Platform: Add full support for PSoC64 platform

Add support for the Cypress CYS0644ABZI-S2D44 board.

This support was developed over the course of 2019 in
the feature-twincpu branch. Full commit history is
available there.

Signed-off-by: Chris Brand <chris.brand@cypress.com>
Change-Id: I709633d04227b71aea87aee84fd63a48c7d26fb1
diff --git a/configs/ConfigRegressionIPCTfmLevel2.cmake b/configs/ConfigRegressionIPCTfmLevel2.cmake
index 58fc0da..15f86eb 100644
--- a/configs/ConfigRegressionIPCTfmLevel2.cmake
+++ b/configs/ConfigRegressionIPCTfmLevel2.cmake
@@ -29,6 +29,8 @@
 	set(PLATFORM_CMAKE_FILE "${TFM_ROOT_DIR}/platform/ext/musca_b1.cmake")
 elseif(${TARGET_PLATFORM} STREQUAL "MUSCA_S1")
 	set(PLATFORM_CMAKE_FILE "${TFM_ROOT_DIR}/platform/ext/musca_s1.cmake")
+elseif(${TARGET_PLATFORM} STREQUAL "psoc64")
+	set(PLATFORM_CMAKE_FILE "${TFM_ROOT_DIR}/platform/ext/psoc64.cmake")
 else()
 	message(FATAL_ERROR "ERROR: Target \"${TARGET_PLATFORM}\" is not supported.")
 endif()