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 #endif /* TBBR_CONFIG_H */ 25