| CONFIG_ARM=y |
| # CONFIG_ARM64_SUPPORT_AARCH32 is not set |
| CONFIG_ARCH_OCTEONTX2=y |
| CONFIG_TEXT_BASE=0x04000000 |
| CONFIG_SYS_MALLOC_LEN=0x4008000 |
| CONFIG_SYS_MALLOC_F_LEN=0x4000 |
| CONFIG_NR_DRAM_BANKS=1 |
| CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y |
| CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x40ffff0 |
| CONFIG_SF_DEFAULT_SPEED=125000000 |
| CONFIG_ENV_SIZE=0x8000 |
| CONFIG_ENV_OFFSET=0xF00000 |
| CONFIG_ENV_SECT_SIZE=0x10000 |
| CONFIG_TARGET_OCTEONTX2_95XX=y |
| CONFIG_DM_GPIO=y |
| CONFIG_DEFAULT_DEVICE_TREE="octeontx" |
| CONFIG_DEBUG_UART_BASE=0x87e028000000 |
| CONFIG_DEBUG_UART_CLOCK=24000000 |
| CONFIG_SYS_LOAD_ADDR=0x4000000 |
| CONFIG_PCI=y |
| CONFIG_DEBUG_UART=y |
| CONFIG_SYS_MEMTEST_START=0x04000000 |
| CONFIG_SYS_MEMTEST_END=0x040f0000 |
| CONFIG_FIT=y |
| CONFIG_FIT_SIGNATURE=y |
| CONFIG_SYS_BOOTM_LEN=0x10000000 |
| CONFIG_SUPPORT_RAW_INITRD=y |
| CONFIG_BOOTDELAY=5 |
| CONFIG_BOOT_RETRY=y |
| CONFIG_BOOT_RETRY_TIME=-1 |
| CONFIG_BOOT_RETRY_MIN=30 |
| CONFIG_RESET_TO_RETRY=y |
| CONFIG_OF_BOARD_SETUP=y |
| CONFIG_USE_BOOTARGS=y |
| CONFIG_BOOTARGS="console=ttyAMA0,115200n8 earlycon=pl011,0x87e028000000 maxcpus=6 rootwait rw root=/dev/mmcblk0p2 coherent_pool=16M" |
| CONFIG_SYS_PBSIZE=1050 |
| # CONFIG_DISPLAY_CPUINFO is not set |
| CONFIG_BOARD_EARLY_INIT_R=y |
| CONFIG_HUSH_PARSER=y |
| CONFIG_SYS_PROMPT="Marvell> " |
| # CONFIG_CMD_BOOTEFI_HELLO_COMPILE is not set |
| CONFIG_CMD_MD5SUM=y |
| CONFIG_MD5SUM_VERIFY=y |
| CONFIG_CMD_MX_CYCLIC=y |
| CONFIG_CMD_MEMTEST=y |
| CONFIG_CMD_SHA1SUM=y |
| CONFIG_SHA1SUM_VERIFY=y |
| CONFIG_CMD_DM=y |
| CONFIG_CMD_GPIO=y |
| CONFIG_CMD_I2C=y |
| CONFIG_CMD_MMC=y |
| CONFIG_CMD_BKOPS_ENABLE=y |
| CONFIG_CMD_PART=y |
| CONFIG_CMD_PCI=y |
| CONFIG_CMD_SF_TEST=y |
| CONFIG_CMD_WDT=y |
| CONFIG_CMD_DHCP=y |
| CONFIG_BOOTP_BOOTFILESIZE=y |
| CONFIG_CMD_TFTPPUT=y |
| CONFIG_CMD_TFTPSRV=y |
| CONFIG_CMD_RARP=y |
| CONFIG_SYS_DISABLE_AUTOLOAD=y |
| CONFIG_CMD_MII=y |
| CONFIG_CMD_PING=y |
| CONFIG_CMD_CDP=y |
| CONFIG_CMD_SNTP=y |
| CONFIG_CMD_DNS=y |
| CONFIG_CMD_LINK_LOCAL=y |
| CONFIG_CMD_PXE=y |
| CONFIG_CMD_TIME=y |
| CONFIG_CMD_EXT2=y |
| CONFIG_CMD_EXT4=y |
| CONFIG_CMD_EXT4_WRITE=y |
| CONFIG_CMD_FAT=y |
| CONFIG_CMD_FS_GENERIC=y |
| CONFIG_EFI_PARTITION=y |
| CONFIG_PARTITION_TYPE_GUID=y |
| CONFIG_ENV_OVERWRITE=y |
| CONFIG_ENV_IS_IN_SPI_FLASH=y |
| CONFIG_VERSION_VARIABLE=y |
| CONFIG_NET_RANDOM_ETHADDR=y |
| CONFIG_TFTP_TSIZE=y |
| CONFIG_DM_I2C=y |
| CONFIG_MISC=y |
| CONFIG_SYS_MMC_MAX_BLK_COUNT=8192 |
| CONFIG_SUPPORT_EMMC_RPMB=y |
| CONFIG_SUPPORT_EMMC_BOOT=y |
| CONFIG_MMC_HS400_SUPPORT=y |
| CONFIG_MMC_OCTEONTX=y |
| CONFIG_MTD=y |
| CONFIG_DM_SPI_FLASH=y |
| CONFIG_SPI_FLASH_SFDP_SUPPORT=y |
| CONFIG_SPI_FLASH_MACRONIX=y |
| CONFIG_SPI_FLASH_SPANSION=y |
| CONFIG_SPI_FLASH_STMICRO=y |
| CONFIG_NET_OCTEONTX2=y |
| CONFIG_OCTEONTX_SMI=y |
| CONFIG_PCI_REGION_MULTI_ENTRY=y |
| CONFIG_PCI_SRIOV=y |
| CONFIG_PCI_ARID=y |
| CONFIG_PCI_OCTEONTX=y |
| CONFIG_DM_REGULATOR=y |
| CONFIG_DM_REGULATOR_FIXED=y |
| CONFIG_DM_REGULATOR_GPIO=y |
| CONFIG_DM_RTC=y |
| CONFIG_DM_SERIAL=y |
| CONFIG_DEBUG_UART_SKIP_INIT=y |
| CONFIG_PL01X_SERIAL=y |
| CONFIG_SPI=y |
| CONFIG_DM_SPI=y |
| CONFIG_WDT=y |
| CONFIG_ERRNO_STR=y |
