135527fb4SYann Gautier /* 235527fb4SYann Gautier * Copyright (c) 2023, STMicroelectronics - All Rights Reserved 335527fb4SYann Gautier * 435527fb4SYann Gautier * SPDX-License-Identifier: BSD-3-Clause 535527fb4SYann Gautier */ 635527fb4SYann Gautier 735527fb4SYann Gautier #include <cdefs.h> 835527fb4SYann Gautier #include <stdint.h> 935527fb4SYann Gautier 10*87a940e0SYann Gautier #include <stm32mp_common.h> 11*87a940e0SYann Gautier 1235527fb4SYann Gautier void bl2_el3_early_platform_setup(u_register_t arg0 __unused, 1335527fb4SYann Gautier u_register_t arg1 __unused, 1435527fb4SYann Gautier u_register_t arg2 __unused, 1535527fb4SYann Gautier u_register_t arg3 __unused) 1635527fb4SYann Gautier { 17*87a940e0SYann Gautier stm32mp_setup_early_console(); 1835527fb4SYann Gautier } 1935527fb4SYann Gautier 2035527fb4SYann Gautier void bl2_platform_setup(void) 2135527fb4SYann Gautier { 2235527fb4SYann Gautier } 2335527fb4SYann Gautier 2435527fb4SYann Gautier void bl2_el3_plat_arch_setup(void) 2535527fb4SYann Gautier { 2635527fb4SYann Gautier } 27