7 * Georg Schardt <schardt@team-ctech.de>
9 * SPDX-License-Identifier: GPL-2.0+
14 #include <asm/processor.h>
20 int l = getenv_f("serial#", buf, sizeof(buf));
23 printf("Avnet Virtex4 FX12 with no serial #");
25 printf("Avnet Virtex4 FX12 Minimodul # ");
26 for (i = 0; i < l; ++i) {