2 # CONFIG_ARM64_SUPPORT_AARCH32 is not set
4 CONFIG_TEXT_BASE=0x2800000
5 CONFIG_SYS_MALLOC_LEN=0x4008000
6 CONFIG_SYS_MALLOC_F_LEN=0x4000
8 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
9 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x28ffff0
10 CONFIG_ENV_SIZE=0x8000
11 CONFIG_ENV_OFFSET=0xF00000
12 CONFIG_ENV_SECT_SIZE=0x10000
13 CONFIG_TARGET_OCTEONTX_81XX=y
15 CONFIG_DEFAULT_DEVICE_TREE="octeontx"
16 CONFIG_SYS_PROMPT="Marvell> "
17 CONFIG_DEBUG_UART_BASE=0x87e028000000
18 CONFIG_DEBUG_UART_CLOCK=24000000
19 CONFIG_SYS_LOAD_ADDR=0x2800000
22 CONFIG_SYS_MEMTEST_START=0x2800000
23 CONFIG_SYS_MEMTEST_END=0x28f0000
25 CONFIG_FIT_SIGNATURE=y
26 CONFIG_SUPPORT_RAW_INITRD=y
27 CONFIG_OF_BOARD_SETUP=y
30 CONFIG_BOOT_RETRY_TIME=-1
31 CONFIG_BOOT_RETRY_MIN=30
32 CONFIG_RESET_TO_RETRY=y
34 CONFIG_BOOTARGS="console=ttyAMA0,115200n8 earlycon=pl011,0x87e028000000 maxcpus=4 rootwait rw root=/dev/sda2 coherent_pool=16M"
35 # CONFIG_DISPLAY_CPUINFO is not set
36 CONFIG_BOARD_EARLY_INIT_R=y
39 CONFIG_SYS_PBSIZE=1050
40 CONFIG_SYS_BOOTM_LEN=0x10000000
41 # CONFIG_CMD_BOOTEFI_HELLO_COMPILE is not set
43 CONFIG_MD5SUM_VERIFY=y
44 CONFIG_CMD_MX_CYCLIC=y
47 CONFIG_SHA1SUM_VERIFY=y
49 # CONFIG_CMD_FLASH is not set
53 CONFIG_CMD_BKOPS_ENABLE=y
60 CONFIG_BOOTP_BOOTFILESIZE=y
69 CONFIG_CMD_LINK_LOCAL=y
74 CONFIG_CMD_EXT4_WRITE=y
76 CONFIG_CMD_FS_GENERIC=y
77 CONFIG_EFI_PARTITION=y
78 CONFIG_PARTITION_TYPE_GUID=y
79 CONFIG_ENV_OVERWRITE=y
80 CONFIG_ENV_IS_IN_SPI_FLASH=y
81 CONFIG_VERSION_VARIABLE=y
82 CONFIG_NET_RANDOM_ETHADDR=y
87 CONFIG_SYS_64BIT_LBA=y
90 CONFIG_SYS_MMC_MAX_BLK_COUNT=8192
91 CONFIG_SUPPORT_EMMC_RPMB=y
92 CONFIG_SUPPORT_EMMC_BOOT=y
96 CONFIG_SF_DEFAULT_SPEED=16000000
97 CONFIG_SPI_FLASH_SFDP_SUPPORT=y
98 CONFIG_SPI_FLASH_MACRONIX=y
99 CONFIG_SPI_FLASH_SPANSION=y
100 CONFIG_SPI_FLASH_STMICRO=y
101 CONFIG_SPI_FLASH_WINBOND=y
103 CONFIG_PHY_AQUANTIA=y
104 CONFIG_PHY_BROADCOM=y
112 CONFIG_NET_OCTEONTX=y
113 CONFIG_OCTEONTX_SMI=y
116 CONFIG_PCI_REGION_MULTI_ENTRY=y
119 CONFIG_PCI_OCTEONTX=y
120 CONFIG_DM_REGULATOR=y
121 CONFIG_DM_REGULATOR_FIXED=y
122 CONFIG_DM_REGULATOR_GPIO=y
127 CONFIG_DEBUG_UART_SKIP_INIT=y
128 CONFIG_PL01X_SERIAL=y
132 CONFIG_USB_XHCI_HCD=y
133 CONFIG_USB_XHCI_PCI=y
135 CONFIG_USB_HOST_ETHER=y
136 CONFIG_USB_ETHER_ASIX=y
137 CONFIG_USB_ETHER_ASIX88179=y
138 CONFIG_USB_ETHER_RTL8152=y