/*
 * (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+
*/

#ifndef __CONFIG_GEN_H
#define __CONFIG_GEN_H

/*CPU*/
#define CONFIG_4xx		1
#define CONFIG_440		1
#define CONFIG_XILINX_440	1

#include <configs/xilinx-ppc.h>

#endif						/* __CONFIG_H */
