2 CONFIG_COUNTER_FREQUENCY=19000000
3 CONFIG_TEXT_BASE=0x35000000
4 CONFIG_SYS_MALLOC_LEN=0x801000
8 CONFIG_DEFAULT_DEVICE_TREE="hi6220-hikey"
9 CONFIG_IDENT_STRING="hikey"
10 CONFIG_SYS_LOAD_ADDR=0x80000
11 CONFIG_DISTRO_DEFAULTS=y
12 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
13 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x7fff0
17 CONFIG_BOOTARGS="console=ttyAMA0,115200n8 root=/dev/mmcblk0p9 rw"
18 # CONFIG_DISPLAY_CPUINFO is not set
19 # CONFIG_DISPLAY_BOARDINFO is not set
20 CONFIG_BOARD_EARLY_INIT_F=y
28 CONFIG_BOOTP_BOOTFILESIZE=y
30 CONFIG_ENV_IS_IN_MMC=y
31 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
32 CONFIG_SYS_MMC_ENV_PART=2
40 CONFIG_USB_HOST_ETHER=y
41 CONFIG_USB_ETHER_ASIX=y
42 CONFIG_USB_ETHER_SMSC95XX=y
43 CONFIG_OF_LIBFDT_OVERLAY=y