| Tom McLeod | 91d024c | 2017-09-27 17:53:26 -0700 | [diff] [blame] | 1 | CONFIG_ARM=y |
| 2 | CONFIG_SYS_VENDOR="opalkelly" |
| 3 | CONFIG_SYS_CONFIG_NAME="syzygy_hub" |
| 4 | CONFIG_ARCH_ZYNQ=y |
| 5 | CONFIG_SYS_TEXT_BASE=0x4000000 |
| 6 | CONFIG_DEFAULT_DEVICE_TREE="zynq-syzygy-hub" |
| 7 | CONFIG_DEBUG_UART=y |
| 8 | CONFIG_FIT=y |
| 9 | CONFIG_FIT_SIGNATURE=y |
| 10 | CONFIG_FIT_VERBOSE=y |
| 11 | # CONFIG_DISPLAY_CPUINFO is not set |
| 12 | CONFIG_SPL=y |
| 13 | CONFIG_SPL_OS_BOOT=y |
| 14 | CONFIG_HUSH_PARSER=y |
| 15 | CONFIG_SYS_PROMPT="Zynq> " |
| 16 | CONFIG_CMD_BOOTZ=y |
| 17 | CONFIG_CMD_EEPROM=y |
| 18 | # CONFIG_CMD_FLASH is not set |
| 19 | CONFIG_CMD_FPGA_LOADBP=y |
| 20 | CONFIG_CMD_FPGA_LOADFS=y |
| 21 | CONFIG_CMD_FPGA_LOADMK=y |
| 22 | CONFIG_CMD_FPGA_LOADP=y |
| 23 | CONFIG_CMD_GPIO=y |
| 24 | CONFIG_CMD_I2C=y |
| 25 | CONFIG_CMD_MMC=y |
| 26 | CONFIG_CMD_USB=y |
| 27 | # CONFIG_CMD_SETEXPR is not set |
| 28 | CONFIG_CMD_TFTPPUT=y |
| 29 | CONFIG_CMD_DHCP=y |
| 30 | CONFIG_CMD_MII=y |
| 31 | CONFIG_CMD_PING=y |
| 32 | CONFIG_CMD_CACHE=y |
| 33 | CONFIG_CMD_EXT2=y |
| 34 | CONFIG_CMD_EXT4=y |
| 35 | CONFIG_CMD_EXT4_WRITE=y |
| 36 | CONFIG_CMD_FAT=y |
| 37 | CONFIG_CMD_FS_GENERIC=y |
| 38 | CONFIG_OF_EMBED=y |
| 39 | CONFIG_SPL_DM_SEQ_ALIAS=y |
| Michal Simek | 216f637 | 2017-11-03 15:53:56 +0100 | [diff] [blame] | 40 | CONFIG_FPGA_XILINX=y |
| Tom McLeod | 91d024c | 2017-09-27 17:53:26 -0700 | [diff] [blame] | 41 | CONFIG_MMC_SDHCI=y |
| 42 | CONFIG_MMC_SDHCI_ZYNQ=y |
| 43 | CONFIG_ZYNQ_GEM=y |
| 44 | CONFIG_DEBUG_UART_ZYNQ=y |
| 45 | CONFIG_DEBUG_UART_BASE=0xe0000000 |
| 46 | CONFIG_DEBUG_UART_CLOCK=50000000 |
| Michal Simek | ab75453 | 2017-11-06 09:16:05 +0100 | [diff] [blame] | 47 | CONFIG_ZYNQ_SERIAL=y |
| Tom McLeod | 91d024c | 2017-09-27 17:53:26 -0700 | [diff] [blame] | 48 | CONFIG_USB=y |
| 49 | CONFIG_USB_EHCI_HCD=y |
| 50 | CONFIG_USB_ULPI_VIEWPORT=y |
| 51 | CONFIG_USB_ULPI=y |
| 52 | CONFIG_USB_STORAGE=y |
| 53 | CONFIG_USB_GADGET=y |
| 54 | CONFIG_USB_GADGET_MANUFACTURER="Xilinx" |
| 55 | CONFIG_USB_GADGET_VENDOR_NUM=0x03FD |
| 56 | CONFIG_USB_GADGET_PRODUCT_NUM=0x0300 |
| 57 | CONFIG_CI_UDC=y |
| 58 | CONFIG_USB_GADGET_DOWNLOAD=y |