2014-01-10 18:00:33 +00:00
|
|
|
/*
|
2017-05-08 10:29:03 +01:00
|
|
|
* Copyright (c) 2016-2017, ARM Limited and Contributors. All rights reserved.
|
2014-01-10 18:00:33 +00:00
|
|
|
*
|
2017-05-03 09:38:09 +01:00
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
2014-01-10 18:00:33 +00:00
|
|
|
*/
|
|
|
|
|
2018-11-08 10:20:19 +00:00
|
|
|
#ifndef TBBR_CONFIG_H
|
|
|
|
#define TBBR_CONFIG_H
|
2014-01-10 18:00:33 +00:00
|
|
|
|
|
|
|
#include <stdint.h>
|
|
|
|
|
2017-05-08 10:29:03 +01:00
|
|
|
#include <uuid.h>
|
2014-01-10 18:00:33 +00:00
|
|
|
|
2016-05-25 16:20:20 +01:00
|
|
|
#define TOC_HEADER_SERIAL_NUMBER 0x12345678
|
2014-01-10 18:00:33 +00:00
|
|
|
|
2016-05-25 16:20:20 +01:00
|
|
|
typedef struct toc_entry {
|
2016-11-14 15:54:32 +00:00
|
|
|
char *name;
|
2016-05-25 16:20:20 +01:00
|
|
|
uuid_t uuid;
|
2016-11-14 15:54:32 +00:00
|
|
|
char *cmdline_name;
|
2016-05-25 16:20:20 +01:00
|
|
|
} toc_entry_t;
|
2014-01-10 18:00:33 +00:00
|
|
|
|
2016-05-25 16:20:20 +01:00
|
|
|
extern toc_entry_t toc_entries[];
|
2014-01-10 18:00:33 +00:00
|
|
|
|
2018-11-08 10:20:19 +00:00
|
|
|
#endif /* TBBR_CONFIG_H */
|