/* * (C) Copyright 2012 Nobuhiro Iwamatsu * (C) Copyright 2012 Renesas Solutions Corp. * * SPDX-License-Identifier: GPL-2.0+ */ #include #include #include int checkboard(void) { printf("Board: %s\n", sysinfo.board_string); return 0; }