]>
Commit | Line | Data |
---|---|---|
e9c847c3 | 1 | CONFIG_ARM=y |
11168883 | 2 | CONFIG_SYS_L2_PL310=y |
e9c847c3 | 3 | CONFIG_ARCH_SOCFPGA=y |
9802154a | 4 | CONFIG_SYS_MALLOC_LEN=0x4000000 |
a09fea1d TR |
5 | CONFIG_ENV_SIZE=0x2000 |
6 | CONFIG_ENV_OFFSET=0x4400 | |
052170c6 | 7 | CONFIG_DM_GPIO=y |
2bba7807 | 8 | CONFIG_DEFAULT_DEVICE_TREE="socfpga_cyclone5_de1_soc" |
665c35a7 | 9 | CONFIG_SPL_TEXT_BASE=0xFFFF0000 |
c5a6e9f8 | 10 | CONFIG_TARGET_SOCFPGA_TERASIC_DE1_SOC=y |
fa2c1467 | 11 | CONFIG_DISTRO_DEFAULTS=y |
eaf6ea6a TR |
12 | CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y |
13 | CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x800000 | |
e9c847c3 | 14 | CONFIG_FIT=y |
d6b318de | 15 | CONFIG_TIMESTAMP=y |
fa2c1467 | 16 | # CONFIG_USE_BOOTCOMMAND is not set |
0817daa7 | 17 | CONFIG_DEFAULT_FDT_FILE="socfpga_cyclone5_de1_soc.dtb" |
e9c847c3 AG |
18 | CONFIG_SYS_CONSOLE_IS_IN_ENV=y |
19 | CONFIG_SYS_CONSOLE_OVERWRITE_ROUTINE=y | |
20 | CONFIG_SYS_CONSOLE_ENV_OVERWRITE=y | |
e9c847c3 | 21 | # CONFIG_DISPLAY_BOARDINFO is not set |
78eba69d | 22 | CONFIG_DISPLAY_BOARDINFO_LATE=y |
15b4aed4 | 23 | CONFIG_CLOCKS=y |
ca8a329a | 24 | CONFIG_SPL_PAD_TO=0x10000 |
9b5f9aeb | 25 | CONFIG_SPL_NO_BSS_LIMIT=y |
24eb39b5 | 26 | # CONFIG_SPL_RAW_IMAGE_SUPPORT is not set |
f113d7d3 TR |
27 | # CONFIG_SPL_SHARES_INIT_SP_ADDR is not set |
28 | CONFIG_SPL_STACK=0x0 | |
8728c97e | 29 | CONFIG_SPL_YMODEM_SUPPORT=y |
cf493582 | 30 | CONFIG_SYS_MAXARGS=32 |
e9c847c3 AG |
31 | CONFIG_CMD_ASKENV=y |
32 | CONFIG_CMD_GREPENV=y | |
33 | # CONFIG_CMD_FLASH is not set | |
88663126 TR |
34 | CONFIG_CMD_GPIO=y |
35 | CONFIG_CMD_I2C=y | |
e9c847c3 AG |
36 | CONFIG_CMD_MMC=y |
37 | CONFIG_CMD_SPI=y | |
e9c847c3 | 38 | CONFIG_CMD_USB=y |
e9c847c3 AG |
39 | CONFIG_CMD_CACHE=y |
40 | CONFIG_CMD_TIME=y | |
e9c847c3 | 41 | CONFIG_CMD_EXT4_WRITE=y |
43ede0bc | 42 | CONFIG_MTDIDS_DEFAULT="nor0=ff705000.spi.0" |
37dc72f5 TR |
43 | # CONFIG_ISO_PARTITION is not set |
44 | # CONFIG_EFI_PARTITION is not set | |
5dc4dfd2 | 45 | CONFIG_ENV_IS_IN_MMC=y |
8d8ee47e | 46 | CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
0817daa7 | 47 | CONFIG_VERSION_VARIABLE=y |
e9c847c3 | 48 | CONFIG_DWAPB_GPIO=y |
2878942a | 49 | CONFIG_DM_I2C=y |
e9c847c3 | 50 | CONFIG_SYS_I2C_DW=y |
75fc79e5 | 51 | CONFIG_SYS_MMC_MAX_BLK_COUNT=256 |
55ed3b46 | 52 | CONFIG_MMC_DW=y |
888f184a | 53 | CONFIG_MTD=y |
da3b9e7f AG |
54 | CONFIG_PHY_MICREL=y |
55 | CONFIG_PHY_MICREL_KSZ90X1=y | |
e9c847c3 | 56 | CONFIG_ETH_DESIGNWARE=y |
d7869b21 | 57 | CONFIG_MII=y |
a8c2dcf0 | 58 | CONFIG_DM_RESET=y |
f1b1f770 | 59 | CONFIG_SPI=y |
e9c847c3 | 60 | CONFIG_USB=y |
4ac72f5c | 61 | CONFIG_USB_DWC2=y |
e263607a | 62 | # CONFIG_SPL_WDT is not set |
e9c847c3 | 63 | # CONFIG_EFI_LOADER is not set |