1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * (C) Copyright 2019 Linaro
4 * Author: Manivannan Sadhasivam <manivannan.sadhasivam@linaro.org>
10 #include <linux/sizes.h>
12 #define CONFIG_SYS_BOOTM_LEN SZ_64M
14 /* Physical Memory Map */
16 /* CONFIG_SYS_TEXT_BASE needs to align with where ATF loads bl33.bin */
18 #define PHYS_SDRAM_1 0x00000000
19 #define PHYS_SDRAM_1_SIZE 0xC0000000
21 #define CONFIG_SYS_SDRAM_BASE PHYS_SDRAM_1
23 #define CONFIG_SYS_INIT_RAM_SIZE 0x1000
25 #define CONFIG_SYS_INIT_SP_ADDR (CONFIG_SYS_SDRAM_BASE + 0x7fff0)
27 /* Generic Timer Definitions */
28 #define COUNTER_FREQUENCY 19000000
30 /* Generic Interrupt Controller Definitions */
31 #define GICD_BASE 0xe82b1000
32 #define GICC_BASE 0xe82b2000
34 #define BOOT_TARGET_DEVICES(func) \
36 #include <config_distro_bootcmd.h>
38 #define CONFIG_EXTRA_ENV_SETTINGS \
40 "fdtfile=hi3660-hikey960.dtb\0" \
41 "fdt_addr_r=0x10000000\0" \
42 "kernel_addr_r=0x11000000\0" \
43 "scriptaddr=0x00020000\0" \
44 "fdt_high=0xffffffffffffffff\0" \
45 "initrd_high=0xffffffffffffffff\0" \
48 /* TODO: Remove this once the SD clock is fixed */
49 #define CONFIG_SYS_MMC_MAX_BLK_COUNT 1024
51 #endif /* __HIKEY_H */