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