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