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 */
14 #ifndef CONFIG_SYS_L2CACHE_OFF
15 #define CONFIG_SYS_L2_PL310
16 #define CONFIG_SYS_PL310_BASE L2_PL310_BASE
20 #define CONFIG_MXC_GPT_HCLK
22 #define CONFIG_SYS_BOOTM_LEN 0x1000000
24 #include <linux/sizes.h>
25 #include <asm/arch/imx-regs.h>
26 #include <asm/mach-imx/gpio.h>
28 /* Miscellaneous configurable options */