1 /* 2 * Copyright (c) 2024, Mario Bălănică <mariobalanica02@gmail.com> 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #include <rpi_shared.h> 8 9 void plat_rpi_bl31_custom_setup(void) 10 { 11 /* Nothing to do here yet. */ 12 } 13