#include <linux/sizes.h>
-#define CONFIG_POWER
#define CONFIG_POWER_HI6553
#define CONFIG_REMAKE_ELF
#define CONFIG_SYS_INIT_SP_ADDR (CONFIG_SYS_SDRAM_BASE + 0x7fff0)
-#define CONFIG_SYS_LOAD_ADDR (CONFIG_SYS_SDRAM_BASE + 0x80000)
-
/* Generic Timer Definitions */
#define COUNTER_FREQUENCY 19000000
#define GICD_BASE 0xf6801000
#define GICC_BASE 0xf6802000
-/* Size of malloc() pool */
-#define CONFIG_SYS_MALLOC_LEN (CONFIG_ENV_SIZE + SZ_8M)
-
-#ifdef CONFIG_USB_DWC2
-#define CONFIG_DWC2_ENABLE_DYNAMIC_FIFO
-#endif
-
#define CONFIG_HIKEY_GPIO
/* BOOTP options */