1CONFIG_ARM=y 2CONFIG_SYS_VENDOR="bitmain" 3CONFIG_SYS_BOARD="antminer_s9" 4CONFIG_SYS_CONFIG_NAME="bitmain_antminer_s9" 5CONFIG_SPL_SYS_DCACHE_OFF=y 6CONFIG_ARCH_ZYNQ=y 7CONFIG_SYS_TEXT_BASE=0x4000000 8CONFIG_ENV_OFFSET=0x300000 9CONFIG_DM_GPIO=y 10CONFIG_DEFAULT_DEVICE_TREE="bitmain-antminer-s9" 11CONFIG_SPL_STACK_R_ADDR=0x200000 12CONFIG_SYS_BOOTCOUNT_ADDR=0xEFFFFF0 13CONFIG_SPL=y 14CONFIG_DEBUG_UART_BASE=0xe0001000 15CONFIG_DEBUG_UART_CLOCK=50000000 16CONFIG_DEBUG_UART=y 17CONFIG_SYS_CUSTOM_LDSCRIPT=y 18CONFIG_SYS_LDSCRIPT="arch/arm/mach-zynq/u-boot.lds" 19CONFIG_SYS_LOAD_ADDR=0x0 20CONFIG_FIT=y 21CONFIG_FIT_SIGNATURE=y 22CONFIG_FIT_VERBOSE=y 23CONFIG_LEGACY_IMAGE_FORMAT=y 24CONFIG_BOOTDELAY=3 25CONFIG_USE_PREBOOT=y 26# CONFIG_DISPLAY_CPUINFO is not set 27CONFIG_SPL_STACK_R=y 28CONFIG_HUSH_PARSER=y 29CONFIG_SYS_PROMPT="antminer> " 30CONFIG_CMD_BOOTZ=y 31# CONFIG_CMD_ELF is not set 32# CONFIG_CMD_DM is not set 33# CONFIG_CMD_FLASH is not set 34CONFIG_CMD_FPGA_LOADBP=y 35CONFIG_CMD_FPGA_LOADFS=y 36CONFIG_CMD_FPGA_LOADMK=y 37CONFIG_CMD_FPGA_LOADP=y 38CONFIG_CMD_GPIO=y 39CONFIG_CMD_MMC=y 40CONFIG_CMD_NAND_LOCK_UNLOCK=y 41CONFIG_CMD_PART=y 42# CONFIG_CMD_SETEXPR is not set 43CONFIG_CMD_DHCP=y 44# CONFIG_CMD_NFS is not set 45CONFIG_CMD_MII=y 46CONFIG_CMD_PING=y 47CONFIG_CMD_PXE=y 48CONFIG_CMD_CACHE=y 49CONFIG_CMD_EXT2=y 50CONFIG_CMD_EXT4=y 51CONFIG_CMD_EXT4_WRITE=y 52CONFIG_CMD_FAT=y 53CONFIG_CMD_FS_GENERIC=y 54CONFIG_ENV_OVERWRITE=y 55CONFIG_ENV_IS_IN_FAT=y 56CONFIG_ENV_IS_IN_NAND=y 57CONFIG_SYS_RELOC_GD_ENV_ADDR=y 58CONFIG_NET_RANDOM_ETHADDR=y 59CONFIG_SPL_DM_SEQ_ALIAS=y 60CONFIG_BOOTCOUNT_LIMIT=y 61CONFIG_FPGA_XILINX=y 62CONFIG_FPGA_ZYNQPL=y 63CONFIG_MMC_SDHCI=y 64CONFIG_MMC_SDHCI_ZYNQ=y 65CONFIG_MTD=y 66CONFIG_MTD_RAW_NAND=y 67CONFIG_NAND_ZYNQ=y 68CONFIG_NAND_ZYNQ_USE_BOOTLOADER1_TIMINGS=y 69CONFIG_SYS_NAND_ONFI_DETECTION=y 70CONFIG_MII=y 71CONFIG_ZYNQ_GEM=y 72CONFIG_DEBUG_UART_ZYNQ=y 73CONFIG_DEBUG_UART_ANNOUNCE=y 74CONFIG_ARM_DCC=y 75CONFIG_ZYNQ_SERIAL=y 76# CONFIG_WATCHDOG is not set 77CONFIG_WDT=y 78CONFIG_WDT_CDNS=y 79# CONFIG_EFI_LOADER is not set 80