1 /* 2 * Copyright (c) 2017, Linaro Limited 3 * All rights reserved. 4 * 5 * SPDX-License-Identifier: BSD-2-Clause 6 */ 7 8 /* The name of this file must not be modified */ 9 #ifndef USER_TA_HEADER_DEFINES_H 10 #define USER_TA_HEADER_DEFINES_H 11 12 /* To get the TA_HOTP_UUID define */ 13 #include <hotp_ta.h> 14 15 #define TA_UUID TA_HOTP_UUID 16 17 #define TA_FLAGS TA_FLAG_EXEC_DDR 18 19 /* Provisioned stack size */ 20 #define TA_STACK_SIZE (2 * 1024) 21 22 /* Provisioned heap size for TEE_Malloc() and friends */ 23 #define TA_DATA_SIZE (32 * 1024) 24 25 #endif 26