2 # CONFIG_SYS_ARCH_TIMER is not set
3 CONFIG_TARGET_PRESIDIO_ASIC=y
4 CONFIG_SYS_TEXT_BASE=0x04000000
6 CONFIG_ENV_SIZE=0x20000
8 CONFIG_IDENT_STRING="Presidio-SoC"
9 CONFIG_DEFAULT_DEVICE_TREE="ca-presidio-engboard"
10 CONFIG_SHOW_BOOT_PROGRESS=y
12 CONFIG_BOARD_EARLY_INIT_R=y
13 CONFIG_SYS_PROMPT="G3#"
25 # CONFIG_NET is not set
32 CONFIG_MMC_DW_CORTINA=y