/*
* Copyright (c) 2016-2017, ARM Limited and Contributors. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*/
#ifndef __TBBR_CONFIG_H__
#define __TBBR_CONFIG_H__
#include <stdint.h>
#include <uuid.h>
/* TODO: Update this number as required */
#define TOC_HEADER_SERIAL_NUMBER 0x12345678
typedef struct toc_entry {
char *name;
uuid_t uuid;
char *cmdline_name;
} toc_entry_t;
extern toc_entry_t toc_entries[];
#endif /* __TBBR_CONFIG_H__ */