2 CONFIG_SYS_VENDOR="opalkelly"
3 CONFIG_SYS_CONFIG_NAME="syzygy_hub"
4 CONFIG_SPL_SYS_DCACHE_OFF=y
5 CONFIG_SYS_L2CACHE_OFF=y
7 CONFIG_SYS_TEXT_BASE=0x4000000
9 CONFIG_DEFAULT_DEVICE_TREE="zynq-syzygy-hub"
10 CONFIG_SPL_STACK_R_ADDR=0x200000
12 CONFIG_ZYNQ_MAC_IN_EEPROM=y
13 CONFIG_ZYNQ_GEM_I2C_MAC_OFFSET=0xFA
14 CONFIG_SYS_LOAD_ADDR=0x0
16 CONFIG_DISTRO_DEFAULTS=y
18 CONFIG_SYS_CUSTOM_LDSCRIPT=y
19 CONFIG_SYS_LDSCRIPT="arch/arm/mach-zynq/u-boot.lds"
21 CONFIG_FIT_SIGNATURE=y
23 CONFIG_LEGACY_IMAGE_FORMAT=y
26 CONFIG_SPL_MAX_SIZE=0x30000
27 CONFIG_SPL_HAS_BSS_LINKER_SECTION=y
28 CONFIG_SPL_BSS_START_ADDR=0x100000
29 CONFIG_SPL_BSS_MAX_SIZE=0x100000
30 # CONFIG_SPL_SHARES_INIT_SP_ADDR is not set
31 CONFIG_SPL_STACK=0xfffffe00
33 CONFIG_SYS_SPL_MALLOC=y
34 CONFIG_SYS_SPL_MALLOC_SIZE=0x2000000
35 CONFIG_SPL_FS_LOAD_ARGS_NAME="system.dtb"
37 CONFIG_SYS_SPL_ARGS_ADDR=0x10000000
39 CONFIG_SYS_PBSIZE=2071
40 CONFIG_SYS_BOOTM_LEN=0x3c00000
41 CONFIG_CMD_FPGA_LOADBP=y
42 CONFIG_CMD_FPGA_LOADFS=y
43 CONFIG_CMD_FPGA_LOADMK=y
44 CONFIG_CMD_FPGA_LOADP=y
49 # CONFIG_CMD_SETEXPR is not set
50 CONFIG_BOOTP_MAY_FAIL=y
53 CONFIG_CMD_EXT4_WRITE=y
54 CONFIG_ENV_OVERWRITE=y
55 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
56 CONFIG_SYS_FAULT_ECHO_LINK_DOWN=y
57 CONFIG_SPL_DM_SEQ_ALIAS=y
61 CONFIG_SYS_I2C_CADENCE=y
63 CONFIG_MMC_SDHCI_ZYNQ=y
69 CONFIG_DEBUG_UART_ZYNQ=y
74 CONFIG_USB_ULPI_VIEWPORT=y
77 CONFIG_USB_GADGET_MANUFACTURER="Xilinx"
78 CONFIG_USB_GADGET_VENDOR_NUM=0x03FD
79 CONFIG_USB_GADGET_PRODUCT_NUM=0x0300
81 CONFIG_USB_GADGET_DOWNLOAD=y
82 CONFIG_USB_FUNCTION_THOR=y