barebox / arch / arm / boards / friendlyarm-tiny6410 / tiny6410.h

// SPDX-License-Identifier: GPL-2.0-or-later

/* to be called by the base board */
void tiny6410_init(const char*);