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>

platform/ext/Mps2AN521.cmake

diff --git a/platform/ext/Mps2AN521.cmake b/platform/ext/Mps2AN521.cmake
index a95b472..7459547 100644
--- a/platform/ext/Mps2AN521.cmake
+++ b/platform/ext/Mps2AN521.cmake
@@ -168,3 +168,9 @@
 if (MCUBOOT_RAM_LOADING)
 	message (FATAL_ERROR "MCUBOOT_RAM_LOADING is not supported on " ${TARGET_PLATFORM})
 endif()
+
+if (NOT DEFINED BUILD_BOOT_SEED)
+  message(FATAL_ERROR "Configuration variable BUILD_BOOT_SEED (true|false) is undefined!")
+elseif(BUILD_BOOT_SEED)
+  list(APPEND ALL_SRC_C "${PLATFORM_DIR}/target/mps2/an521/dummy_boot_seed.c")
+endif()