2014-10-03 10:21:06 +00:00
|
|
|
/*
|
2015-09-21 15:27:31 +00:00
|
|
|
* Copyright (C) 2012-2015 Masahiro Yamada <yamada.masahiro@socionext.com>
|
2014-10-03 10:21:06 +00:00
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: GPL-2.0+
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <common.h>
|
2016-01-08 16:51:13 +00:00
|
|
|
|
|
|
|
#include "micro-support-card.h"
|
2014-10-03 10:21:06 +00:00
|
|
|
|
2016-04-21 05:43:18 +00:00
|
|
|
void uniphier_smp_kick_all_cpus(void);
|
|
|
|
|
2014-10-03 10:21:06 +00:00
|
|
|
int board_init(void)
|
|
|
|
{
|
2015-09-21 15:27:31 +00:00
|
|
|
led_puts("Uboo");
|
2016-04-21 05:43:18 +00:00
|
|
|
#ifdef CONFIG_ARM64
|
|
|
|
uniphier_smp_kick_all_cpus();
|
|
|
|
#endif
|
2014-10-03 10:21:06 +00:00
|
|
|
return 0;
|
|
|
|
}
|