/*
* Copyright 2014 Broadcom Corporation.
*
* SPDX-License-Identifier: GPL-2.0+
*/
* Early system init. Currently empty.
void s_init(void)
{
}