| Joakim Bech | 730a0da | 2017-11-21 15:19:09 +0100 | [diff] [blame] | 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 | |
| Joakim Bech | 730a0da | 2017-11-21 15:19:09 +0100 | [diff] [blame] | 25 | #endif |