#include <linux/sizes.h>
-#define CONFIG_POWER_HI6553
-
/* Physical Memory Map */
/* CONFIG_TEXT_BASE needs to align with where ATF loads bl33.bin */
#define GICD_BASE 0xf6801000
#define GICC_BASE 0xf6802000
-#define CONFIG_HIKEY_GPIO
-
/* Initial environment variables */
/*
func(DHCP, dhcp, na)
#include <config_distro_bootcmd.h>
-#define CONFIG_EXTRA_ENV_SETTINGS \
+#define CFG_EXTRA_ENV_SETTINGS \
"kernel_name=Image\0" \
"kernel_addr_r=0x00080000\0" \
"fdtfile=hi6220-hikey.dtb\0" \