1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * Copyright 2014 Broadcom Corporation.
4  */
5 
6 /*
7  * Early system init. Currently empty.
8  */
9 void s_init(void)
10 {
11 }
12