xpedite1k: Sync checkboard() with other X-ES boards

Signed-off-by: Peter Tyser <ptyser@xes-inc.com>
Signed-off-by: Stefan Roese <sr@denx.de>

diff --git a/board/xpedite1k/xpedite1k.c b/board/xpedite1k/xpedite1k.c
index ed864ba..4529b7e 100644 (file)
--- a/board/xpedite1k/xpedite1k.c
+++ b/board/xpedite1k/xpedite1k.c
@@ -112,7 +112,20 @@ int board_early_init_f(void)
 
 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;
 }

diff --git a/include/configs/XPEDITE1K.h b/include/configs/XPEDITE1K.h
index 016fa8a..bb6208c 100644 (file)
--- a/include/configs/XPEDITE1K.h
+++ b/include/configs/XPEDITE1K.h
@@ -32,6 +32,7 @@
 
 /* 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 */