2 * Copyright 2009 Extreme Engineering Solutions, Inc.
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License as
6 * published by the Free Software Foundation; either version 2 of
7 * the License, or (at your option) any later version.
11 #include "fsl_8xxx_misc.h"
15 char name[] = CONFIG_SYS_BOARD_NAME;
18 #ifdef CONFIG_SYS_FORM_CUSTOM
20 #elif CONFIG_SYS_FORM_6U_CPCI
22 #elif CONFIG_SYS_FORM_ATCA_PMC
24 #elif CONFIG_SYS_FORM_ATCA_AMC
26 #elif CONFIG_SYS_FORM_VME
28 #elif CONFIG_SYS_FORM_6U_VPX
30 #elif CONFIG_SYS_FORM_PMC
32 #elif CONFIG_SYS_FORM_PCI
34 #elif CONFIG_SYS_FORM_3U_CPCI
36 #elif CONFIG_SYS_FORM_AMC
38 #elif CONFIG_SYS_FORM_XMC
40 #elif CONFIG_SYS_FORM_PMC_XMC
42 #elif CONFIG_SYS_FORM_PCI_EXPRESS
44 #elif CONFIG_SYS_FORM_3U_VPX
47 #error "Form factor not defined"
50 name[strlen(name) - 1] += get_board_derivative();
51 printf("Board: X-ES %s %s SBC\n", name, s);
53 /* Display board specific information */
55 if ((s = getenv("board_rev")))
56 printf("Rev %s, ", s);
57 if ((s = getenv("serial#")))
58 printf("Serial# %s, ", s);
59 if ((s = getenv("board_cfg")))