1 /* 2 * Copyright (c) 2015, 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_WORLD_PK_EXT, 17 NON_TRUSTED_WORLD_PK_EXT, 18 SCP_FW_CONTENT_CERT_PK_EXT, 19 SCP_FW_HASH_EXT, 20 SOC_FW_CONTENT_CERT_PK_EXT, 21 SOC_AP_FW_HASH_EXT, 22 TRUSTED_OS_FW_CONTENT_CERT_PK_EXT, 23 TRUSTED_OS_FW_HASH_EXT, 24 NON_TRUSTED_FW_CONTENT_CERT_PK_EXT, 25 NON_TRUSTED_WORLD_BOOTLOADER_HASH_EXT, 26 SCP_FWU_CFG_HASH_EXT, 27 AP_FWU_CFG_HASH_EXT, 28 FWU_HASH_EXT 29 }; 30 31 #endif /* TBB_EXT_H_ */ 32