1CONFIG_ARM=y 2CONFIG_COUNTER_FREQUENCY=25000000 3# CONFIG_SYS_ARCH_TIMER is not set 4CONFIG_TARGET_PRESIDIO_ASIC=y 5CONFIG_SYS_TEXT_BASE=0x04000000 6CONFIG_SYS_MALLOC_LEN=0x820000 7CONFIG_SYS_MALLOC_F_LEN=0x400 8CONFIG_NR_DRAM_BANKS=1 9CONFIG_ENV_SIZE=0x20000 10CONFIG_DM_GPIO=y 11CONFIG_DEFAULT_DEVICE_TREE="ca-presidio-engboard" 12CONFIG_IDENT_STRING="Presidio-SoC" 13CONFIG_SYS_LOAD_ADDR=0x10000000 14CONFIG_REMAKE_ELF=y 15CONFIG_SUPPORT_RAW_INITRD=y 16CONFIG_SHOW_BOOT_PROGRESS=y 17CONFIG_BOOTDELAY=3 18CONFIG_BOARD_EARLY_INIT_R=y 19CONFIG_LAST_STAGE_INIT=y 20CONFIG_SYS_PROMPT="G3#" 21CONFIG_CMD_I2C=y 22CONFIG_CMD_MMC=y 23CONFIG_CMD_WDT=y 24CONFIG_BOOTP_BOOTFILESIZE=y 25CONFIG_CMD_CACHE=y 26CONFIG_CMD_TIMER=y 27CONFIG_CMD_SMC=y 28CONFIG_CMD_EXT2=y 29CONFIG_CMD_EXT4=y 30CONFIG_OF_CONTROL=y 31CONFIG_OF_LIVE=y 32CONFIG_DM=y 33CONFIG_CORTINA_GPIO=y 34CONFIG_DM_I2C=y 35CONFIG_SYS_I2C_CA=y 36CONFIG_MMC_DW=y 37CONFIG_MMC_DW_CORTINA=y 38CONFIG_PHYLIB=y 39CONFIG_DM_ETH=y 40CONFIG_CORTINA_NI_ENET=y 41CONFIG_DM_SERIAL=y 42CONFIG_CORTINA_UART=y 43CONFIG_WDT=y 44CONFIG_WDT_CORTINA=y 45