| /* |
| * Copyright (c) 2015, ARM Limited and Contributors. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| #ifndef TBB_EXT_H_ |
| #define TBB_EXT_H_ |
| |
| #include "ext.h" |
| |
| /* TBBR extensions */ |
| enum { |
| TRUSTED_FW_NVCOUNTER_EXT, |
| NON_TRUSTED_FW_NVCOUNTER_EXT, |
| TRUSTED_BOOT_FW_HASH_EXT, |
| TRUSTED_WORLD_PK_EXT, |
| NON_TRUSTED_WORLD_PK_EXT, |
| SCP_FW_CONTENT_CERT_PK_EXT, |
| SCP_FW_HASH_EXT, |
| SOC_FW_CONTENT_CERT_PK_EXT, |
| SOC_AP_FW_HASH_EXT, |
| TRUSTED_OS_FW_CONTENT_CERT_PK_EXT, |
| TRUSTED_OS_FW_HASH_EXT, |
| NON_TRUSTED_FW_CONTENT_CERT_PK_EXT, |
| NON_TRUSTED_WORLD_BOOTLOADER_HASH_EXT, |
| SCP_FWU_CFG_HASH_EXT, |
| AP_FWU_CFG_HASH_EXT, |
| FWU_HASH_EXT |
| }; |
| |
| #endif /* TBB_EXT_H_ */ |
