| CONFIG_ARM=y |
| CONFIG_SKIP_LOWLEVEL_INIT=y |
| CONFIG_SYS_THUMB_BUILD=y |
| CONFIG_ARCH_VF610=y |
| CONFIG_SYS_TEXT_BASE=0x3f401000 |
| CONFIG_SYS_MALLOC_LEN=0x402000 |
| CONFIG_SYS_MALLOC_F_LEN=0x800 |
| CONFIG_NR_DRAM_BANKS=1 |
| CONFIG_ENV_SIZE=0x2000 |
| CONFIG_ENV_OFFSET=0x200000 |
| CONFIG_DM_GPIO=y |
| CONFIG_DEFAULT_DEVICE_TREE="vf610-bk4r1" |
| CONFIG_BOOTCOUNT_BOOTLIMIT=3 |
| CONFIG_SYS_BOOTCOUNT_ADDR=0x4006e02c |
| CONFIG_SYS_BOOTCOUNT_SINGLEWORD=y |
| CONFIG_ENV_OFFSET_REDUND=0x220000 |
| CONFIG_TARGET_BK4R1=y |
| CONFIG_SYS_LOAD_ADDR=0x82000000 |
| CONFIG_SYS_MEMTEST_START=0x80010000 |
| CONFIG_SYS_MEMTEST_END=0x87c00000 |
| CONFIG_HAS_BOARD_SIZE_LIMIT=y |
| CONFIG_BOARD_SIZE_LIMIT=520192 |
| CONFIG_FIT=y |
| CONFIG_BOOTDELAY=3 |
| CONFIG_AUTOBOOT_KEYED=y |
| CONFIG_AUTOBOOT_PROMPT="Enter passphrase to stop autoboot, booting in %d seconds\n" |
| CONFIG_AUTOBOOT_STOP_STR="123" |
| CONFIG_USE_BOOTCOMMAND=y |
| CONFIG_BOOTCOMMAND="run set_gpio122; run set_gpio96; sf probe; run manage_userdata; run bootcmd_nand" |
| CONFIG_USE_PREBOOT=y |
| CONFIG_BOARD_EARLY_INIT_F=y |
| CONFIG_HUSH_PARSER=y |
| CONFIG_SYS_CBSIZE=256 |
| CONFIG_SYS_PBSIZE=276 |
| # CONFIG_CMD_ELF is not set |
| CONFIG_CMD_MEMTEST=y |
| CONFIG_CMD_DM=y |
| CONFIG_CMD_FUSE=y |
| CONFIG_CMD_GPIO=y |
| CONFIG_CMD_I2C=y |
| CONFIG_CMD_MMC=y |
| CONFIG_CMD_NAND_TRIMFFS=y |
| CONFIG_CMD_DHCP=y |
| CONFIG_SYS_DISABLE_AUTOLOAD=y |
| CONFIG_CMD_MII=y |
| CONFIG_CMD_PING=y |
| CONFIG_CMD_BOOTCOUNT=y |
| CONFIG_CMD_FAT=y |
| CONFIG_MTDIDS_DEFAULT="nand0=vf610_nfc,nor0=NOR" |
| CONFIG_MTDPARTS_DEFAULT="mtdparts=vf610_nfc:2048k(bootloader),128k(env1),128k(env2),10240k(initrd),40960k(dtbkernel),-(system);NOR:-(nor)" |
| CONFIG_CMD_UBI=y |
| CONFIG_OF_CONTROL=y |
| CONFIG_ENV_OVERWRITE=y |
| CONFIG_ENV_IS_IN_NAND=y |
| CONFIG_SYS_REDUNDAND_ENVIRONMENT=y |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| CONFIG_ARP_TIMEOUT=500 |
| CONFIG_NETCONSOLE=y |
| CONFIG_BOOTCOUNT_LIMIT=y |
| CONFIG_VYBRID_GPIO=y |
| CONFIG_DM_I2C=y |
| CONFIG_I2C_SET_DEFAULT_BUS_NUM=y |
| CONFIG_I2C_DEFAULT_BUS_NUMBER=0x2 |
| CONFIG_SYS_I2C_MXC=y |
| CONFIG_LED=y |
| CONFIG_LED_GPIO=y |
| CONFIG_MISC=y |
| CONFIG_I2C_EEPROM=y |
| CONFIG_SYS_I2C_EEPROM_ADDR=0x50 |
| CONFIG_FSL_ESDHC_IMX=y |
| CONFIG_MTD=y |
| CONFIG_DM_MTD=y |
| CONFIG_NAND_VF610_NFC=y |
| CONFIG_NAND_VF610_NFC_DT=y |
| CONFIG_SYS_NAND_ONFI_DETECTION=y |
| CONFIG_SYS_NAND_BUSWIDTH_16BIT=y |
| CONFIG_DM_SPI_FLASH=y |
| CONFIG_SPI_FLASH_STMICRO=y |
| CONFIG_SPI_FLASH_MTD=y |
| CONFIG_PHYLIB=y |
| CONFIG_PHY_MICREL=y |
| CONFIG_PHY_MICREL_KSZ8XXX=y |
| CONFIG_FEC_MXC=y |
| CONFIG_MII=y |
| CONFIG_PINCTRL=y |
| CONFIG_PINCTRL_VYBRID=y |
| CONFIG_DM_RTC=y |
| CONFIG_RTC_M41T62=y |
| CONFIG_DM_SERIAL=y |
| CONFIG_FSL_LPUART=y |
| CONFIG_SPI=y |
| CONFIG_DM_SPI=y |
| CONFIG_FSL_QSPI=y |
| # CONFIG_EFI_LOADER is not set |