blob: b51107725a0c089b4172a20461dc62d60cbfddf1 [file] [log] [blame]
Mike Looijmans5ae48b12016-09-30 08:13:13 +02001CONFIG_ARM=y
2CONFIG_SYS_VENDOR="topic"
Mike Looijmans4f1002d2017-06-07 07:42:37 +02003CONFIG_SYS_CONFIG_NAME="topic_miami"
Mike Looijmans5ae48b12016-09-30 08:13:13 +02004CONFIG_ARCH_ZYNQ=y
Michal Simek92543872016-12-16 11:57:17 +01005CONFIG_SYS_TEXT_BASE=0x4000000
Michal Simek19abc1d2017-02-10 13:57:35 +01006CONFIG_BOOT_INIT_FILE="board/topic/zynq/zynq-topic-miamiplus/ps7_regs.txt"
Mike Looijmans5ae48b12016-09-30 08:13:13 +02007CONFIG_DEFAULT_DEVICE_TREE="zynq-topic-miamiplus"
Tom Rini256aa742017-06-19 09:47:40 -04008CONFIG_DEBUG_UART=y
Mike Looijmans5ae48b12016-09-30 08:13:13 +02009CONFIG_BOOTDELAY=0
Mike Looijmans5ae48b12016-09-30 08:13:13 +020010# CONFIG_DISPLAY_CPUINFO is not set
11CONFIG_SPL=y
12CONFIG_HUSH_PARSER=y
13CONFIG_SYS_PROMPT="zynq-uboot> "
Simon Glassa18b9692017-08-04 16:34:57 -060014CONFIG_CMD_THOR_DOWNLOAD=y
Tom Rini78873cd2017-08-14 19:58:53 -040015CONFIG_CMD_DFU=y
Mike Looijmans5ae48b12016-09-30 08:13:13 +020016# CONFIG_CMD_FLASH is not set
Tom Rini78873cd2017-08-14 19:58:53 -040017CONFIG_CMD_GPIO=y
18CONFIG_CMD_I2C=y
Mike Looijmans5ae48b12016-09-30 08:13:13 +020019CONFIG_CMD_MMC=y
20CONFIG_CMD_SF=y
Mike Looijmans5ae48b12016-09-30 08:13:13 +020021CONFIG_CMD_USB=y
Mike Looijmans5ae48b12016-09-30 08:13:13 +020022# CONFIG_CMD_SETEXPR is not set
23CONFIG_CMD_CACHE=y
24CONFIG_CMD_EXT4=y
25CONFIG_CMD_FAT=y
26CONFIG_CMD_FS_GENERIC=y
27CONFIG_OF_EMBED=y
28CONFIG_SPL_DM_SEQ_ALIAS=y
Mike Looijmansf1b6eee2017-01-17 15:28:23 +010029CONFIG_DFU_RAM=y
Michal Simek216f6372017-11-03 15:53:56 +010030CONFIG_FPGA_XILINX=y
Masahiro Yamada7db8c172016-12-07 22:10:28 +090031CONFIG_MMC_SDHCI=y
Michal Simek19abc1d2017-02-10 13:57:35 +010032CONFIG_MMC_SDHCI_ZYNQ=y
Mike Looijmans5ae48b12016-09-30 08:13:13 +020033CONFIG_SPI_FLASH=y
34CONFIG_SPI_FLASH_BAR=y
Tom Rini002ec482017-07-08 20:32:11 -040035CONFIG_SF_DUAL_FLASH=y
Mike Looijmans5ae48b12016-09-30 08:13:13 +020036CONFIG_SPI_FLASH_STMICRO=y
37# CONFIG_SPI_FLASH_USE_4K_SECTORS is not set
38# CONFIG_NETDEVICES is not set
Mike Looijmans5ae48b12016-09-30 08:13:13 +020039CONFIG_DEBUG_UART_ZYNQ=y
40CONFIG_DEBUG_UART_BASE=0xe0000000
41CONFIG_DEBUG_UART_CLOCK=100000000
Michal Simekab754532017-11-06 09:16:05 +010042CONFIG_ZYNQ_SERIAL=y
Mike Looijmans5ae48b12016-09-30 08:13:13 +020043CONFIG_ZYNQ_QSPI=y
44CONFIG_USB=y
45CONFIG_USB_EHCI_HCD=y
46CONFIG_USB_ULPI_VIEWPORT=y
47CONFIG_USB_ULPI=y
48CONFIG_USB_STORAGE=y
49CONFIG_USB_GADGET=y
Maxime Ripard7f78b9d2017-09-07 08:58:08 +020050CONFIG_USB_GADGET_MANUFACTURER="Xilinx"
51CONFIG_USB_GADGET_VENDOR_NUM=0x03fd
52CONFIG_USB_GADGET_PRODUCT_NUM=0x0300
Mike Looijmans5ae48b12016-09-30 08:13:13 +020053CONFIG_CI_UDC=y
54CONFIG_USB_GADGET_DOWNLOAD=y