1 /* SPDX-License-Identifier: GPL-2.0 */
3 * Copyright (c) 2013, NVIDIA CORPORATION. All rights reserved.
9 #include <linux/stringify.h>
11 #if (defined(CONFIG_MX6UL) || defined(CONFIG_MX6ULL))
12 #define CONFIG_SC_TIMER_CLK 8000000 /* 8Mhz */
13 #define COUNTER_FREQUENCY CONFIG_SC_TIMER_CLK
15 #ifndef CONFIG_SYS_L2CACHE_OFF
16 #define CONFIG_SYS_L2_PL310
17 #define CONFIG_SYS_PL310_BASE L2_PL310_BASE
21 #define CONFIG_BOARD_POSTCLK_INIT
22 #define CONFIG_MXC_GPT_HCLK
24 #define CONFIG_SYS_BOOTM_LEN 0x1000000
26 #include <linux/sizes.h>
27 #include <asm/arch/imx-regs.h>
28 #include <asm/mach-imx/gpio.h>
34 #define CONFIG_SYS_FSL_CLK
36 /* Miscellaneous configurable options */
37 #define CONFIG_SYS_CBSIZE 512
38 #define CONFIG_SYS_MAXARGS 32