1 /* 2 * Copyright (c) 2023, 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 <stm32mp_common.h> 11 12 void bl2_el3_early_platform_setup(u_register_t arg0 __unused, 13 u_register_t arg1 __unused, 14 u_register_t arg2 __unused, 15 u_register_t arg3 __unused) 16 { 17 stm32mp_setup_early_console(); 18 } 19 20 void bl2_platform_setup(void) 21 { 22 } 23 24 void bl2_el3_plat_arch_setup(void) 25 { 26 } 27