2 # CONFIG_ARM64_SUPPORT_AARCH32 is not set
4 CONFIG_SYS_TEXT_BASE=0x2800000
5 CONFIG_SYS_MALLOC_LEN=0x4008000
6 CONFIG_SYS_MALLOC_F_LEN=0x4000
9 CONFIG_ENV_OFFSET=0xF00000
10 CONFIG_ENV_SECT_SIZE=0x10000
11 CONFIG_TARGET_OCTEONTX_81XX=y
13 CONFIG_DEFAULT_DEVICE_TREE="octeontx"
14 CONFIG_SYS_PROMPT="Marvell> "
15 CONFIG_DEBUG_UART_BASE=0x87e028000000
16 CONFIG_DEBUG_UART_CLOCK=24000000
17 CONFIG_SYS_LOAD_ADDR=0x2800000
20 CONFIG_SYS_MEMTEST_START=0x2800000
21 CONFIG_SYS_MEMTEST_END=0x28f0000
22 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
23 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x28ffff0
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_SUPPORT_EMMC_RPMB=y
91 CONFIG_SUPPORT_EMMC_BOOT=y
95 CONFIG_SF_DEFAULT_SPEED=16000000
96 CONFIG_SPI_FLASH_SFDP_SUPPORT=y
97 CONFIG_SPI_FLASH_MACRONIX=y
98 CONFIG_SPI_FLASH_SPANSION=y
99 CONFIG_SPI_FLASH_STMICRO=y
100 CONFIG_SPI_FLASH_WINBOND=y
102 CONFIG_PHY_AQUANTIA=y
103 CONFIG_PHY_BROADCOM=y
111 CONFIG_NET_OCTEONTX=y
112 CONFIG_OCTEONTX_SMI=y
115 CONFIG_PCI_REGION_MULTI_ENTRY=y
118 CONFIG_PCI_OCTEONTX=y
119 CONFIG_DM_REGULATOR=y
120 CONFIG_DM_REGULATOR_FIXED=y
121 CONFIG_DM_REGULATOR_GPIO=y
126 CONFIG_DEBUG_UART_SKIP_INIT=y
127 CONFIG_PL01X_SERIAL=y
131 CONFIG_USB_XHCI_HCD=y
132 CONFIG_USB_XHCI_PCI=y
134 CONFIG_USB_HOST_ETHER=y
135 CONFIG_USB_ETHER_ASIX=y
136 CONFIG_USB_ETHER_ASIX88179=y
137 CONFIG_USB_ETHER_RTL8152=y