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