1 /* 2 * Copyright (c) 2022-2024, STMicroelectronics - All Rights Reserved 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #include <stddef.h> 8 9 #include <firmware_image_package.h> 10 11 #include "tbbr_config.h" 12 13 toc_entry_t plat_def_toc_entries[] = { 14 { 15 .name = "DDR_FW", 16 .uuid = UUID_DDR_FW, 17 .cmdline_name = "ddr-fw" 18 }, 19 { 20 .name = "STM32MP CONFIG CERT", 21 .uuid = UUID_STM32MP_CONFIG_CERT, 22 .cmdline_name = "stm32mp-cfg-cert" 23 }, 24 25 { 26 .name = NULL, 27 .uuid = { {0} }, 28 .cmdline_name = NULL, 29 } 30 }; 31