
/*******************************************************************
*
* CAUTION: This file is automatically generated by HSI.
* Version: 2024.1
* DO NOT EDIT.
*
* Copyright (C) 2010-2025 Xilinx, Inc. All Rights Reserved.
* SPDX-License-Identifier: MIT 

* 
* Description: Driver configuration
*
*******************************************************************/

#include "xparameters.h"
#include "xtmrctr.h"

/*
* The configuration table for devices
*/

XTmrCtr_Config XTmrCtr_ConfigTable[XPAR_XTMRCTR_NUM_INSTANCES] =
{
	{
		XPAR_AXI_TIMER_0_DEVICE_ID,
		XPAR_AXI_TIMER_0_BASEADDR,
		XPAR_AXI_TIMER_0_CLOCK_FREQ_HZ
	},
	{
		XPAR_AXI_TIMER_1_DEVICE_ID,
		XPAR_AXI_TIMER_1_BASEADDR,
		XPAR_AXI_TIMER_1_CLOCK_FREQ_HZ
	}
};


