/* SPDX-License-Identifier: GPL-2.0+ */ | |
/* | |
* Copyright 2009 Freescale Semiconductor, Inc. | |
*/ | |
#ifndef _ASM_CONFIG_H_ | |
#define _ASM_CONFIG_H_ | |
#include <asm/processor.h> | |
/* Timer */ | |
#define CONFIG_SYS_TIMER_COUNTS_DOWN | |
#define CONFIG_SYS_TIMER_COUNTER (TMU_BASE + 0xc) /* TCNT0 */ | |
#define CONFIG_SYS_TIMER_RATE (get_board_sys_clk() / 4) | |
#endif |