1CONFIG_ARM=y 2CONFIG_SYS_THUMB_BUILD=y 3CONFIG_ARCH_HIGHBANK=y 4CONFIG_SYS_TEXT_BASE=0x00008000 5CONFIG_DISTRO_DEFAULTS=y 6CONFIG_NR_DRAM_BANKS=0 7CONFIG_FIT=y 8CONFIG_OF_BOARD_SETUP=y 9# CONFIG_USE_BOOTCOMMAND is not set 10# CONFIG_DISPLAY_CPUINFO is not set 11# CONFIG_DISPLAY_BOARDINFO is not set 12CONFIG_AUTOBOOT_KEYED=y 13CONFIG_AUTOBOOT_PROMPT="Autobooting in %d seconds...\nPress <s> to stop or <d> to delay\n" 14CONFIG_AUTOBOOT_KEYED_CTRLC=y 15# CONFIG_CMD_FLASH is not set 16# CONFIG_CMD_SETEXPR is not set 17CONFIG_ENV_IS_IN_NVRAM=y 18CONFIG_SCSI_AHCI=y 19CONFIG_BOOTCOUNT_LIMIT=y 20CONFIG_SYS_BOOTCOUNT_SINGLEWORD=y 21CONFIG_SYS_BOOTCOUNT_ADDR=0xfff3cf0c 22# CONFIG_MMC is not set 23CONFIG_SCSI=y 24CONFIG_CONS_INDEX=0 25CONFIG_OF_LIBFDT=y 26