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 /* TODO: Update this number as required */ 15 #define TOC_HEADER_SERIAL_NUMBER 0x12345678 16 17 typedef struct toc_entry { 18 char *name; 19 uuid_t uuid; 20 char *cmdline_name; 21 } toc_entry_t; 22 23 extern toc_entry_t toc_entries[]; 24 25 #endif /* TBBR_CONFIG_H */ 26