
/*******************************************************************
*
* CAUTION: This file is automatically generated by libgen.
* Version: Xilinx EDK 7.1 EDK_H.10.4
* DO NOT EDIT.
*
* Copyright (c) 2005 Xilinx, Inc.  All rights reserved. 
* 
* Description: Driver configuration
*
*******************************************************************/

#include "xparameters.h"
#include "xps2.h"

/*
* The configuration table for devices
*/

XPs2_Config XPs2_ConfigTable[] =
{
	{
		XPAR_OPB_PS2_DUAL_REF_0_DEVICE_ID_0,
		XPAR_OPB_PS2_DUAL_REF_0_BASEADDR_0
	},
	{
		XPAR_OPB_PS2_DUAL_REF_0_DEVICE_ID_1,
		XPAR_OPB_PS2_DUAL_REF_0_BASEADDR_1
	},
};
