| 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=0x202000 |
| CONFIG_NR_DRAM_BANKS=1 |
| CONFIG_ENV_SIZE=0x2000 |
| CONFIG_ENV_OFFSET=0xA0000 |
| CONFIG_DM_GPIO=y |
| CONFIG_DEFAULT_DEVICE_TREE="vf610-pcm052" |
| CONFIG_ENV_OFFSET_REDUND=0xC0000 |
| CONFIG_TARGET_PCM052=y |
| CONFIG_SYS_MEMTEST_START=0x80010000 |
| CONFIG_SYS_MEMTEST_END=0x87c00000 |
| CONFIG_SYS_LOAD_ADDR=0x82000000 |
| CONFIG_BOOTDELAY=3 |
| CONFIG_USE_BOOTCOMMAND=y |
| CONFIG_BOOTCOMMAND="run bootcmd_nand" |
| CONFIG_BOARD_EARLY_INIT_F=y |
| CONFIG_HUSH_PARSER=y |
| CONFIG_CMD_BOOTZ=y |
| CONFIG_CMD_MEMTEST=y |
| CONFIG_CMD_GPIO=y |
| CONFIG_CMD_I2C=y |
| CONFIG_CMD_MMC=y |
| CONFIG_CMD_NAND_TRIMFFS=y |
| CONFIG_CMD_DHCP=y |
| CONFIG_CMD_MII=y |
| CONFIG_CMD_PING=y |
| CONFIG_CMD_FAT=y |
| CONFIG_MTDIDS_DEFAULT="nand0=NAND" |
| CONFIG_MTDPARTS_DEFAULT="mtdparts=NAND:640k(bootloader),128k(env1),128k(env2),128k(dtb),6144k(kernel),-(root)" |
| 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_DM=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_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_DM_ETH=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 |