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

void base_board_init(void);