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