]> Git Repo - J-u-boot.git/blame - configs/socfpga_mcvevk_defconfig
Convert CONFIG_SYS_TIMER_COUNTS_DOWN to Kconfig
[J-u-boot.git] / configs / socfpga_mcvevk_defconfig
CommitLineData
990ed445 1CONFIG_ARM=y
11168883 2CONFIG_SYS_L2_PL310=y
990ed445 3CONFIG_ARCH_SOCFPGA=y
9802154a 4CONFIG_SYS_MALLOC_LEN=0x4000000
a09fea1d
TR
5CONFIG_ENV_SIZE=0x2000
6CONFIG_ENV_OFFSET=0x4400
052170c6 7CONFIG_DM_GPIO=y
2bba7807 8CONFIG_DEFAULT_DEVICE_TREE="socfpga_cyclone5_mcvevk"
665c35a7 9CONFIG_SPL_TEXT_BASE=0xFFFF0000
c5a6e9f8 10CONFIG_TARGET_SOCFPGA_ARIES_MCVEVK=y
990ed445 11CONFIG_DISTRO_DEFAULTS=y
eaf6ea6a
TR
12CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
13CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x800000
990ed445 14CONFIG_FIT=y
d6b318de 15CONFIG_TIMESTAMP=y
990ed445
WG
16CONFIG_USE_BOOTARGS=y
17CONFIG_BOOTARGS="console=ttyS0,115200"
970bf860 18CONFIG_BOOTCOMMAND="run mmc_mmc"
990ed445
WG
19CONFIG_SYS_CONSOLE_IS_IN_ENV=y
20CONFIG_SYS_CONSOLE_OVERWRITE_ROUTINE=y
21CONFIG_SYS_CONSOLE_ENV_OVERWRITE=y
990ed445
WG
22# CONFIG_DISPLAY_BOARDINFO is not set
23CONFIG_DISPLAY_BOARDINFO_LATE=y
15b4aed4 24CONFIG_CLOCKS=y
ca8a329a 25CONFIG_SPL_PAD_TO=0x10000
9b5f9aeb 26CONFIG_SPL_NO_BSS_LIMIT=y
f113d7d3
TR
27# CONFIG_SPL_SHARES_INIT_SP_ADDR is not set
28CONFIG_SPL_STACK=0x0
990ed445 29CONFIG_SPL_SPI_LOAD=y
3e5b62f7 30CONFIG_SYS_SPI_U_BOOT_OFFS=0x40000
cf493582 31CONFIG_SYS_MAXARGS=32
990ed445
WG
32CONFIG_CMD_ASKENV=y
33CONFIG_CMD_GREPENV=y
34CONFIG_CMD_DFU=y
35# CONFIG_CMD_FLASH is not set
36CONFIG_CMD_GPIO=y
37CONFIG_CMD_I2C=y
38CONFIG_CMD_MMC=y
990ed445
WG
39CONFIG_CMD_SPI=y
40CONFIG_CMD_USB=y
41CONFIG_CMD_USB_MASS_STORAGE=y
42CONFIG_CMD_CACHE=y
43CONFIG_CMD_EXT4_WRITE=y
990ed445
WG
44# CONFIG_ISO_PARTITION is not set
45# CONFIG_EFI_PARTITION is not set
e91907a1 46CONFIG_ENV_OVERWRITE=y
990ed445 47CONFIG_ENV_IS_IN_MMC=y
8d8ee47e 48CONFIG_SYS_RELOC_GD_ENV_ADDR=y
fdfb17b1
TR
49CONFIG_USE_BOOTFILE=y
50CONFIG_BOOTFILE="fitImage"
0817daa7 51CONFIG_VERSION_VARIABLE=y
990ed445 52CONFIG_DFU_MMC=y
8e3ea2da 53CONFIG_SYS_DFU_DATA_BUF_SIZE=0x1000000
990ed445
WG
54CONFIG_DWAPB_GPIO=y
55CONFIG_DM_I2C=y
56CONFIG_SYS_I2C_DW=y
75fc79e5 57CONFIG_SYS_MMC_MAX_BLK_COUNT=256
990ed445 58CONFIG_MMC_DW=y
0cfccb54 59CONFIG_MTD=y
832ce202 60CONFIG_SPI_FLASH_MTD=y
990ed445
WG
61CONFIG_PHY_GIGE=y
62CONFIG_ETH_DESIGNWARE=y
63CONFIG_DM_RESET=y
64CONFIG_SPI=y
65CONFIG_CADENCE_QSPI=y
66CONFIG_DESIGNWARE_SPI=y
67CONFIG_USB=y
990ed445
WG
68CONFIG_USB_DWC2=y
69CONFIG_USB_GADGET=y
70CONFIG_USB_GADGET_MANUFACTURER="denx"
71CONFIG_USB_GADGET_VENDOR_NUM=0x0525
72CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
73CONFIG_USB_GADGET_DWC2_OTG=y
74CONFIG_USB_GADGET_DOWNLOAD=y
e263607a 75# CONFIG_SPL_WDT is not set
3b8dfc42 76CONFIG_SYS_TIMER_COUNTS_DOWN=y
This page took 0.349522 seconds and 4 git commands to generate.