1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright 2009 Extreme Engineering Solutions, Inc.
7 #include "fsl_8xxx_misc.h"
11 char name[] = CONFIG_SYS_BOARD_NAME;
16 #ifdef CONFIG_SYS_FORM_CUSTOM
18 #elif CONFIG_SYS_FORM_6U_CPCI
20 #elif CONFIG_SYS_FORM_ATCA_PMC
22 #elif CONFIG_SYS_FORM_ATCA_AMC
24 #elif CONFIG_SYS_FORM_VME
26 #elif CONFIG_SYS_FORM_6U_VPX
28 #elif CONFIG_SYS_FORM_PMC
30 #elif CONFIG_SYS_FORM_PCI
32 #elif CONFIG_SYS_FORM_3U_CPCI
34 #elif CONFIG_SYS_FORM_AMC
36 #elif CONFIG_SYS_FORM_XMC
38 #elif CONFIG_SYS_FORM_PMC_XMC
40 #elif CONFIG_SYS_FORM_PCI_EXPRESS
42 #elif CONFIG_SYS_FORM_3U_VPX
45 #error "Form factor not defined"
48 name[strlen(name) - 1] += get_board_derivative();
49 printf("Board: X-ES %s %s SBC\n", name, s);
51 /* Display board specific information */
53 i = env_get_f("board_rev", buf, sizeof(buf));
55 printf("Rev %s, ", buf);
56 i = env_get_f("serial#", buf, sizeof(buf));
58 printf("Serial# %s, ", buf);
59 i = env_get_f("board_cfg", buf, sizeof(buf));
61 printf("Cfg %s", buf);