/* * Copyright (C) 2014-2015 Masahiro Yamada * * SPDX-License-Identifier: GPL-2.0+ */ #include #include "micro-support-card.h" int board_early_init_r(void) { support_card_late_init(); return 0; }