| /* |
| * Copyright (c) 2021, Arm Limited. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| |
| #include <stdint.h> |
| |
| #include <drivers/measured_boot/event_log/event_log.h> |
| |
| /* Event Log data */ |
| static uint8_t event_log[PLAT_ARM_EVENT_LOG_MAX_SIZE]; |
| |
| /* FVP table with platform specific image IDs, names and PCRs */ |
| const event_log_metadata_t fvp_event_log_metadata[] = { |
| { FW_CONFIG_ID, FW_CONFIG_STRING, PCR_0 }, |
| { TB_FW_CONFIG_ID, TB_FW_CONFIG_STRING, PCR_0 }, |
| { BL2_IMAGE_ID, BL2_STRING, PCR_0 }, |
| { INVALID_ID, NULL, (unsigned int)(-1) } /* Terminator */ |
| }; |
| |
| void bl1_plat_mboot_init(void) |
| { |
| event_log_init(event_log, PLAT_ARM_EVENT_LOG_MAX_SIZE, 0U); |
| } |
| |
| void bl1_plat_mboot_finish(void) |
| { |
| /* |
| * ToDo: populate tb_fw_config with Event Log address, its maximum size |
| * and filled size |
| */ |
| } |