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