/*
- * Copyright (C) 2012-2014 Panasonic Corporation
- * Author: Masahiro Yamada <yamada.m@jp.panasonic.com>
+ * Copyright (C) 2012-2015 Masahiro Yamada <yamada.masahiro@socionext.com>
*
* SPDX-License-Identifier: GPL-2.0+
*/
#include <common.h>
-#include <mach/led.h>
-/*
- * Routine: board_init
- * Description: Early hardware init.
- */
+#include "micro-support-card.h"
+
+void uniphier_smp_kick_all_cpus(void);
+
int board_init(void)
{
- led_write(U, B, O, O);
-
+ led_puts("Uboo");
+#ifdef CONFIG_ARM64
+ uniphier_smp_kick_all_cpus();
+#endif
return 0;
}