arm-trusted-firmware/tools/fiptool/tbbr_config.h
Paul Beesley efb20d8bc3 tools: Remove TODO from fiptool
It is quite unlikely that this number will ever change and, if it
does need to change, we should have a good reason to do so. It
seems that this comment is now redundant.

Change-Id: I409c764080748e338e9bc5606bbdcc475213fb6e
Signed-off-by: Paul Beesley <paul.beesley@arm.com>
2019-03-12 13:42:08 +00:00

24 lines
437 B
C

/*
* 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>
#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 */