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 /* Physical Memory Map */
14 /* CONFIG_TEXT_BASE needs to align with where ATF loads bl33.bin */
16 #define PHYS_SDRAM_1 0x00000000
17 #define PHYS_SDRAM_1_SIZE 0xC0000000
19 #define CFG_SYS_SDRAM_BASE PHYS_SDRAM_1
21 #define CONFIG_SYS_INIT_RAM_SIZE 0x1000
23 /* Generic Interrupt Controller Definitions */
24 #define GICD_BASE 0xe82b1000
25 #define GICC_BASE 0xe82b2000
27 #define BOOT_TARGET_DEVICES(func) \
29 #include <config_distro_bootcmd.h>
31 #define CONFIG_EXTRA_ENV_SETTINGS \
33 "fdtfile=hi3660-hikey960.dtb\0" \
34 "fdt_addr_r=0x10000000\0" \
35 "kernel_addr_r=0x11000000\0" \
36 "scriptaddr=0x00020000\0" \
37 "fdt_high=0xffffffffffffffff\0" \
38 "initrd_high=0xffffffffffffffff\0" \
41 /* TODO: Remove this once the SD clock is fixed */
43 #endif /* __HIKEY_H */