1CONFIG_ARM=y
2CONFIG_SYS_CONFIG_NAME="fpga_ast2600_spl"
3CONFIG_SYS_DCACHE_OFF=y
4CONFIG_POSITION_INDEPENDENT=y
5CONFIG_SPL_LDSCRIPT="arch/$(ARCH)/mach-aspeed/ast2600/u-boot-spl.lds"
6CONFIG_ARCH_ASPEED=y
7CONFIG_SYS_TEXT_BASE=0x10000
8CONFIG_ASPEED_AST2600=y
9CONFIG_TARGET_FPGA_AST2600=y
10CONFIG_SPL_GPIO_SUPPORT=y
11CONFIG_SPL_LIBCOMMON_SUPPORT=y
12CONFIG_SPL_LIBGENERIC_SUPPORT=y
13CONFIG_SYS_MALLOC_F_LEN=0x800
14CONFIG_SPL_MMC_SUPPORT=y
15CONFIG_SPL_SERIAL_SUPPORT=y
16CONFIG_SPL_DRIVERS_MISC_SUPPORT=y
17CONFIG_ENV_SIZE=0x10000
18CONFIG_ENV_OFFSET=0xF0000
19CONFIG_SPL=y
20CONFIG_SPL_STACK_R_ADDR=0x90300000
21CONFIG_ARMV7_BOOT_SEC_DEFAULT=y
22CONFIG_NR_DRAM_BANKS=1
23CONFIG_FIT=y
24CONFIG_USE_BOOTARGS=y
25CONFIG_BOOTARGS="console=ttyS4,115200n8 root=/dev/ram rw"
26CONFIG_USE_BOOTCOMMAND=y
27CONFIG_BOOTCOMMAND="bootm 20100000"
28CONFIG_SYS_CONSOLE_ENV_OVERWRITE=y
29CONFIG_DISPLAY_BOARDINFO_LATE=y
30CONFIG_ARCH_EARLY_INIT_R=y
31# CONFIG_SPL_RAW_IMAGE_SUPPORT is not set
32# CONFIG_SPL_LEGACY_IMAGE_SUPPORT is not set
33CONFIG_SPL_SYS_MALLOC_SIMPLE=y
34CONFIG_SPL_STACK_R=y
35CONFIG_SPL_SEPARATE_BSS=y
36CONFIG_SPL_DM_RESET=y
37CONFIG_SPL_WATCHDOG_SUPPORT=y
38CONFIG_SPL_YMODEM_SUPPORT=y
39CONFIG_HUSH_PARSER=y
40# CONFIG_AUTO_COMPLETE is not set
41CONFIG_SYS_PROMPT="ast# "
42CONFIG_CMD_CLK=y
43CONFIG_CMD_GPIO=y
44CONFIG_CMD_I2C=y
45CONFIG_CMD_MMC=y
46CONFIG_CMD_PART=y
47CONFIG_CMD_PCI=y
48CONFIG_CMD_SF=y
49CONFIG_CMD_USB=y
50CONFIG_CMD_DHCP=y
51CONFIG_CMD_MII=y
52CONFIG_CMD_PING=y
53CONFIG_CMD_EXT2=y
54CONFIG_CMD_EXT4=y
55CONFIG_CMD_EXT4_WRITE=y
56CONFIG_CMD_FAT=y
57CONFIG_CMD_FS_GENERIC=y
58CONFIG_CMD_MTDPARTS=y
59CONFIG_SPL_OF_CONTROL=y
60CONFIG_DEFAULT_DEVICE_TREE="ast2600-fpga"
61CONFIG_ENV_IS_IN_SPI_FLASH=y
62CONFIG_USE_ENV_SPI_BUS=y
63CONFIG_ENV_SPI_BUS=0
64CONFIG_USE_ENV_SPI_CS=y
65CONFIG_ENV_SPI_CS=0
66CONFIG_USE_ENV_SPI_MAX_HZ=y
67CONFIG_ENV_SPI_MAX_HZ=100000000
68CONFIG_NET_RANDOM_ETHADDR=y
69CONFIG_SPL_DM=y
70CONFIG_REGMAP=y
71CONFIG_SYSCON=y
72CONFIG_SPL_OF_TRANSLATE=y
73CONFIG_CLK=y
74CONFIG_SPL_CLK=y
75# CONFIG_ASPEED_SPI_DMA is not set
76CONFIG_FPGA_ASPEED=y
77CONFIG_DM_GPIO=y
78CONFIG_ASPEED_GPIO=y
79CONFIG_DM_I2C=y
80CONFIG_SYS_I2C_ASPEED=y
81CONFIG_MISC=y
82CONFIG_ASPEED_AHBC=y
83CONFIG_ASPEED_DP=y
84CONFIG_DM_MMC=y
85CONFIG_SPL_MMC_TINY=y
86CONFIG_MMC_SDHCI=y
87CONFIG_MMC_SDHCI_ASPEED=y
88CONFIG_DM_SPI_FLASH=y
89CONFIG_SPI_FLASH=y
90CONFIG_SPI_FLASH_GIGADEVICE=y
91CONFIG_SPI_FLASH_MACRONIX=y
92CONFIG_SPI_FLASH_SPANSION=y
93CONFIG_SPI_FLASH_STMICRO=y
94CONFIG_SPI_FLASH_WINBOND=y
95CONFIG_PHY_BROADCOM=y
96CONFIG_PHY_REALTEK=y
97CONFIG_DM_ETH=y
98CONFIG_PHY_GIGE=y
99CONFIG_FTGMAC100=y
100CONFIG_MDIO=y
101CONFIG_PCI=y
102CONFIG_DM_PCI=y
103CONFIG_PCIE_ASPEED=y
104CONFIG_PHY=y
105CONFIG_PINCTRL=y
106CONFIG_RAM=y
107CONFIG_SPL_RAM=y
108CONFIG_DM_SERIAL=y
109CONFIG_SYS_NS16550=y
110CONFIG_SPI=y
111CONFIG_DM_SPI=y
112CONFIG_SYSRESET=y
113CONFIG_USB=y
114CONFIG_DM_USB=y
115CONFIG_USB_EHCI_HCD=y
116CONFIG_USB_STORAGE=y
117CONFIG_WDT=y
118CONFIG_USE_TINY_PRINTF=y
119