commit 38e1731caf8f950622bbde8c5ad047fa0d9b7afd
author Tamas Ban <tamas.ban@arm.com> Thu Nov 22 15:26:35 2018 +0000
committer Tamas Ban <tamas.ban@arm.com> Wed Dec 05 16:05:08 2018 +0100
tree 45ce5de9efe5010847f252fda6466453aa1d3562
parent 3681ce038c96f4900cd6d6f3fdc0a48d5cc51e6a

Platform: Add device ID support

Add a getter function to platform code, to retrieve
the Universal Entity ID (UEID) of the device.

Change-Id: Id1f9abc5e96409da463098e92230099c1983c0c9
Signed-off-by: Tamas Ban <tamas.ban@arm.com>

CommonConfig.cmake

diff --git a/CommonConfig.cmake b/CommonConfig.cmake
index 8418922..d5f4ab1 100644
--- a/CommonConfig.cmake
+++ b/CommonConfig.cmake
@@ -33,6 +33,7 @@
 set(BUILD_UART_STDOUT Off)
 set(BUILD_FLASH Off)
 set(BUILD_BOOT_SEED Off)
+set(BUILD_DEVICE_ID Off)
 if(NOT DEFINED PLATFORM_CMAKE_FILE)
 	message (FATAL_ERROR "Platform specific CMake is not defined. Please set PLATFORM_CMAKE_FILE.")
 elseif(NOT EXISTS ${PLATFORM_CMAKE_FILE})