1 /*
2  * Copyright (c) 2020, Arm Limited. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef MEASURED_BOOT_H
8 #define MEASURED_BOOT_H
9 
10 #include <stdint.h>
11 
12 #include <drivers/measured_boot/event_log.h>
13 
14 /* Platform specific table of image IDs, names and PCRs */
15 extern const image_data_t images_data[];
16 
17 /* Functions' declarations */
18 void measured_boot_init(void);
19 void measured_boot_finish(void);
20 
21 #endif /* MEASURED_BOOT_H */
22