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