1*91f16700Schasinglulu /* 2*91f16700Schasinglulu * Copyright (c) 2016-2017, ARM Limited and Contributors. All rights reserved. 3*91f16700Schasinglulu * 4*91f16700Schasinglulu * SPDX-License-Identifier: BSD-3-Clause 5*91f16700Schasinglulu */ 6*91f16700Schasinglulu 7*91f16700Schasinglulu #ifndef TBBR_CONFIG_H 8*91f16700Schasinglulu #define TBBR_CONFIG_H 9*91f16700Schasinglulu 10*91f16700Schasinglulu #include <stdint.h> 11*91f16700Schasinglulu 12*91f16700Schasinglulu #include <uuid.h> 13*91f16700Schasinglulu 14*91f16700Schasinglulu #define TOC_HEADER_SERIAL_NUMBER 0x12345678 15*91f16700Schasinglulu 16*91f16700Schasinglulu typedef struct toc_entry { 17*91f16700Schasinglulu char *name; 18*91f16700Schasinglulu uuid_t uuid; 19*91f16700Schasinglulu char *cmdline_name; 20*91f16700Schasinglulu } toc_entry_t; 21*91f16700Schasinglulu 22*91f16700Schasinglulu extern toc_entry_t toc_entries[]; 23*91f16700Schasinglulu 24*91f16700Schasinglulu #ifdef PLAT_DEF_FIP_UUID 25*91f16700Schasinglulu extern toc_entry_t plat_def_toc_entries[]; 26*91f16700Schasinglulu #endif 27*91f16700Schasinglulu 28*91f16700Schasinglulu #endif /* TBBR_CONFIG_H */ 29