path: root/arch/arm/boards/karo-tx28/tx28.h

/* SPDX-License-Identifier: GPL-2.0-only */

void base_board_init(void);