commit 3681ce038c96f4900cd6d6f3fdc0a48d5cc51e6a
author Tamas Ban <tamas.ban@arm.com> Thu Nov 22 15:19:24 2018 +0000
committer Tamas Ban <tamas.ban@arm.com> Wed Dec 05 16:05:05 2018 +0100
tree a219b1cc01e0c4344d5ff79653f02a49540e974c
parent 997aeb3d6ceb529d03f27e83578278d99b84d1a3

Platform: Add boot seed support

Add a getter function to platform code, which makes possible
to get the boot seed value. Boot seed is a mandatory claim
in the initial attestation token.

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

CommonConfig.cmake

diff --git a/CommonConfig.cmake b/CommonConfig.cmake
index 51ddc6a..8418922 100644
--- a/CommonConfig.cmake
+++ b/CommonConfig.cmake
@@ -32,6 +32,7 @@
 set(BUILD_CMSIS_DRIVERS Off)
 set(BUILD_UART_STDOUT Off)
 set(BUILD_FLASH Off)
+set(BUILD_BOOT_SEED 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})