2 * Copyright 2009 Extreme Engineering Solutions, Inc.
4 * SPDX-License-Identifier: GPL-2.0+
8 #include "fsl_8xxx_misc.h"
12 char name[] = CONFIG_SYS_BOARD_NAME;
17 #ifdef CONFIG_SYS_FORM_CUSTOM
19 #elif CONFIG_SYS_FORM_6U_CPCI
21 #elif CONFIG_SYS_FORM_ATCA_PMC
23 #elif CONFIG_SYS_FORM_ATCA_AMC
25 #elif CONFIG_SYS_FORM_VME
27 #elif CONFIG_SYS_FORM_6U_VPX
29 #elif CONFIG_SYS_FORM_PMC
31 #elif CONFIG_SYS_FORM_PCI
33 #elif CONFIG_SYS_FORM_3U_CPCI
35 #elif CONFIG_SYS_FORM_AMC
37 #elif CONFIG_SYS_FORM_XMC
39 #elif CONFIG_SYS_FORM_PMC_XMC
41 #elif CONFIG_SYS_FORM_PCI_EXPRESS
43 #elif CONFIG_SYS_FORM_3U_VPX
46 #error "Form factor not defined"
49 name[strlen(name) - 1] += get_board_derivative();
50 printf("Board: X-ES %s %s SBC\n", name, s);
52 /* Display board specific information */
54 i = getenv_f("board_rev", buf, sizeof(buf));
56 printf("Rev %s, ", buf);
57 i = getenv_f("serial#", buf, sizeof(buf));
59 printf("Serial# %s, ", buf);
60 i = getenv_f("board_cfg", buf, sizeof(buf));
62 printf("Cfg %s", buf);