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 #define CONFIG_SYS_LOAD_ADDR (CONFIG_SYS_SDRAM_BASE + 0x80000)
29 /* Generic Timer Definitions */
30 #define COUNTER_FREQUENCY 19000000
32 /* Generic Interrupt Controller Definitions */
33 #define GICD_BASE 0xe82b1000
34 #define GICC_BASE 0xe82b2000
36 /* Size of malloc() pool */
37 #define CONFIG_SYS_MALLOC_LEN (CONFIG_ENV_SIZE + SZ_8M)
39 #define BOOT_TARGET_DEVICES(func) \
41 #include <config_distro_bootcmd.h>
43 #define CONFIG_EXTRA_ENV_SETTINGS \
45 "fdtfile=hi3660-hikey960.dtb\0" \
46 "fdt_addr_r=0x10000000\0" \
47 "kernel_addr_r=0x11000000\0" \
48 "scriptaddr=0x00020000\0" \
49 "fdt_high=0xffffffffffffffff\0" \
50 "initrd_high=0xffffffffffffffff\0" \
53 /* TODO: Remove this once the SD clock is fixed */
54 #define CONFIG_SYS_MMC_MAX_BLK_COUNT 1024
56 #endif /* __HIKEY_H */