1 /* 2 * Copyright (c) 2015-2018, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 #ifndef TBB_EXT_H_ 7 #define TBB_EXT_H_ 8 9 #include "ext.h" 10 11 /* TBBR extensions */ 12 enum { 13 TRUSTED_FW_NVCOUNTER_EXT, 14 NON_TRUSTED_FW_NVCOUNTER_EXT, 15 TRUSTED_BOOT_FW_HASH_EXT, 16 TRUSTED_BOOT_FW_CONFIG_HASH_EXT, 17 HW_CONFIG_HASH_EXT, 18 TRUSTED_WORLD_PK_EXT, 19 NON_TRUSTED_WORLD_PK_EXT, 20 SCP_FW_CONTENT_CERT_PK_EXT, 21 SCP_FW_HASH_EXT, 22 SOC_FW_CONTENT_CERT_PK_EXT, 23 SOC_AP_FW_HASH_EXT, 24 TRUSTED_OS_FW_CONTENT_CERT_PK_EXT, 25 TRUSTED_OS_FW_HASH_EXT, 26 TRUSTED_OS_FW_EXTRA1_HASH_EXT, 27 TRUSTED_OS_FW_EXTRA2_HASH_EXT, 28 NON_TRUSTED_FW_CONTENT_CERT_PK_EXT, 29 NON_TRUSTED_WORLD_BOOTLOADER_HASH_EXT, 30 SCP_FWU_CFG_HASH_EXT, 31 AP_FWU_CFG_HASH_EXT, 32 FWU_HASH_EXT 33 }; 34 35 #endif /* TBB_EXT_H_ */ 36