ad12dc1844
Having this as a 'default y' is rather annoying because it doesn't
actually compile unless other options are defined in the board header:
../cmd/bootm.c: In function 'do_imls_nor':
../cmd/bootm.c:330:7: error: 'CONFIG_SYS_MAX_FLASH_BANKS' undeclared (first use in this function); did you mean 'CONFIG_SYS_MAX_FLASH_SECT'?
i < CONFIG_SYS_MAX_FLASH_BANKS; ++i, ++info) {
Make it 'default n' so people who develop new boards that start from a
blank defconfig have one less compilation failure to debug.
Signed-off-by: Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi>
54 lines
1.3 KiB
Plaintext
54 lines
1.3 KiB
Plaintext
CONFIG_ARM=y
|
|
CONFIG_SYS_VENDOR="topic"
|
|
CONFIG_SYS_CONFIG_NAME="topic_miami"
|
|
CONFIG_ARCH_ZYNQ=y
|
|
CONFIG_SYS_TEXT_BASE=0x4000000
|
|
CONFIG_BOOT_INIT_FILE="board/topic/zynq/zynq-topic-miamilite/ps7_regs.txt"
|
|
CONFIG_DEFAULT_DEVICE_TREE="zynq-topic-miamilite"
|
|
CONFIG_DEBUG_UART=y
|
|
CONFIG_BOOTDELAY=0
|
|
# CONFIG_DISPLAY_CPUINFO is not set
|
|
CONFIG_SPL=y
|
|
CONFIG_HUSH_PARSER=y
|
|
CONFIG_SYS_PROMPT="zynq-uboot> "
|
|
CONFIG_CMD_THOR_DOWNLOAD=y
|
|
CONFIG_CMD_DFU=y
|
|
# CONFIG_CMD_FLASH is not set
|
|
CONFIG_CMD_GPIO=y
|
|
CONFIG_CMD_I2C=y
|
|
CONFIG_CMD_MMC=y
|
|
CONFIG_CMD_SF=y
|
|
CONFIG_CMD_USB=y
|
|
# CONFIG_CMD_SETEXPR is not set
|
|
# CONFIG_CMD_NET is not set
|
|
# CONFIG_CMD_NFS is not set
|
|
CONFIG_CMD_CACHE=y
|
|
CONFIG_CMD_EXT4=y
|
|
CONFIG_CMD_FAT=y
|
|
CONFIG_CMD_FS_GENERIC=y
|
|
CONFIG_OF_EMBED=y
|
|
CONFIG_SPL_DM_SEQ_ALIAS=y
|
|
CONFIG_DFU_RAM=y
|
|
CONFIG_MMC_SDHCI=y
|
|
CONFIG_MMC_SDHCI_ZYNQ=y
|
|
CONFIG_SPI_FLASH=y
|
|
CONFIG_SPI_FLASH_BAR=y
|
|
CONFIG_SF_DUAL_FLASH=y
|
|
CONFIG_SPI_FLASH_STMICRO=y
|
|
# CONFIG_SPI_FLASH_USE_4K_SECTORS is not set
|
|
CONFIG_DEBUG_UART_ZYNQ=y
|
|
CONFIG_DEBUG_UART_BASE=0xe0000000
|
|
CONFIG_DEBUG_UART_CLOCK=100000000
|
|
CONFIG_ZYNQ_QSPI=y
|
|
CONFIG_USB=y
|
|
CONFIG_USB_EHCI_HCD=y
|
|
CONFIG_USB_ULPI_VIEWPORT=y
|
|
CONFIG_USB_ULPI=y
|
|
CONFIG_USB_STORAGE=y
|
|
CONFIG_USB_GADGET=y
|
|
CONFIG_USB_GADGET_MANUFACTURER="Xilinx"
|
|
CONFIG_USB_GADGET_VENDOR_NUM=0x03fd
|
|
CONFIG_USB_GADGET_PRODUCT_NUM=0x0300
|
|
CONFIG_CI_UDC=y
|
|
CONFIG_USB_GADGET_DOWNLOAD=y
|