2008-10-24 11:51:52 +00:00
|
|
|
/*
|
|
|
|
* (C) Copyright 2008
|
|
|
|
*
|
|
|
|
* Author: Xilinx Inc.
|
|
|
|
*
|
|
|
|
* Modified by:
|
|
|
|
* Georg Schardt <schardt@team-ctech.de>
|
|
|
|
*
|
2013-07-08 07:37:19 +00:00
|
|
|
* SPDX-License-Identifier: GPL-2.0+
|
2008-10-24 11:51:52 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
#include <config.h>
|
|
|
|
#include <common.h>
|
|
|
|
#include <asm/processor.h>
|
|
|
|
|
|
|
|
int checkboard(void)
|
|
|
|
{
|
2011-05-04 10:32:28 +00:00
|
|
|
char buf[64];
|
|
|
|
int i;
|
|
|
|
int l = getenv_f("serial#", buf, sizeof(buf));
|
2008-10-24 11:51:52 +00:00
|
|
|
|
2011-05-04 10:32:28 +00:00
|
|
|
if (l < 0) {
|
2008-10-24 11:51:52 +00:00
|
|
|
printf("Avnet Virtex4 FX12 with no serial #");
|
|
|
|
} else {
|
2011-05-04 10:32:28 +00:00
|
|
|
printf("Avnet Virtex4 FX12 Minimodul # ");
|
|
|
|
for (i = 0; i < l; ++i) {
|
|
|
|
if (buf[i] == ' ')
|
2008-10-24 11:51:52 +00:00
|
|
|
break;
|
2011-05-04 10:32:28 +00:00
|
|
|
putc(buf[i]);
|
2008-10-24 11:51:52 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
putc('\n');
|
|
|
|
return 0;
|
|
|
|
}
|