1 2 3 4
// SPDX-License-Identifier: GPL-2.0-or-later /* to be called by the base board */ void tiny6410_init(const char*);