Signed-off-by: Peter Tyser <ptyser@xes-inc.com>
Signed-off-by: Stefan Roese <sr@denx.de>
 
 int checkboard(void)
 {
-       printf("Board: XES XPedite1000 440GX\n");
+       char *s;
+
+       printf("Board: X-ES %s PMC SBC\n", CONFIG_SYS_BOARD_NAME);
+       printf("       ");
+       s = getenv("board_rev");
+       if (s)
+               printf("Rev %s, ", s);
+       s = getenv("serial#");
+       if (s)
+               printf("Serial# %s, ", s);
+       s = getenv("board_cfg");
+       if (s)
+               printf("Cfg %s", s);
+       printf("\n");
 
        return 0;
 }
 
 
 /* High Level Configuration Options */
 #define CONFIG_XPEDITE1K       1               /* Board is XPedite 1000 */
+#define CONFIG_SYS_BOARD_NAME  "XPedite1000"
 #define CONFIG_4xx             1               /* ... PPC4xx family */
 #define CONFIG_440             1
 #define CONFIG_440GX           1               /* 440 GX */