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