3 * Ricado Ribalda-Universidad Autonoma de Madrid-ricardo.ribalda@uam.es
4 * This work has been supported by: QTechnology http://qtec.com/
5 * SPDX-License-Identifier: GPL-2.0+
10 #include <asm/processor.h>
15 puts("Avnet Virtex 5 FX30 Evaluation Board\n");