/* * (C) Copyright 2008 * Ricado Ribalda-Universidad Autonoma de Madrid-ricardo.ribalda@uam.es * This work has been supported by: QTechnology http://qtec.com/ * SPDX-License-Identifier: GPL-2.0+*/#include<config.h>#include<common.h>#include<asm/processor.h>intcheckboard(void){puts("Avnet Virtex 5 FX30 Evaluation Board\n");return0;}