1 /* 2 * Copyright (c) 2023-2024, STMicroelectronics - All Rights Reserved 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #include <cdefs.h> 8 #include <stdint.h> 9 10 #include <plat/common/platform.h> 11 12 #include <stm32mp_common.h> 13 14 void bl2_el3_early_platform_setup(u_register_t arg0 __unused, 15 u_register_t arg1 __unused, 16 u_register_t arg2 __unused, 17 u_register_t arg3 __unused) 18 { 19 stm32mp_setup_early_console(); 20 } 21 22 void bl2_platform_setup(void) 23 { 24 } 25 26 void bl2_el3_plat_arch_setup(void) 27 { 28 } 29