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_DEBUG_UART_BASE=0x87e028000000
15 CONFIG_DEBUG_UART_CLOCK=24000000
16 CONFIG_SYS_LOAD_ADDR=0x2800000
19 CONFIG_SYS_MEMTEST_START=0x2800000
20 CONFIG_SYS_MEMTEST_END=0x28f0000
22 CONFIG_FIT_SIGNATURE=y
23 CONFIG_SUPPORT_RAW_INITRD=y
24 CONFIG_OF_BOARD_SETUP=y
27 CONFIG_BOOT_RETRY_TIME=-1
28 CONFIG_BOOT_RETRY_MIN=30
29 CONFIG_RESET_TO_RETRY=y
31 CONFIG_BOOTARGS="console=ttyAMA0,115200n8 earlycon=pl011,0x87e028000000 maxcpus=4 rootwait rw root=/dev/sda2 coherent_pool=16M"
32 # CONFIG_DISPLAY_CPUINFO is not set
33 CONFIG_BOARD_EARLY_INIT_R=y
35 CONFIG_SYS_PROMPT="Marvell> "
36 # CONFIG_CMD_BOOTEFI_HELLO_COMPILE is not set
38 CONFIG_MD5SUM_VERIFY=y
39 CONFIG_CMD_MX_CYCLIC=y
42 CONFIG_SHA1SUM_VERIFY=y
44 # CONFIG_CMD_FLASH is not set
48 CONFIG_CMD_BKOPS_ENABLE=y
55 CONFIG_BOOTP_BOOTFILESIZE=y
64 CONFIG_CMD_LINK_LOCAL=y
69 CONFIG_CMD_EXT4_WRITE=y
71 CONFIG_CMD_FS_GENERIC=y
72 CONFIG_EFI_PARTITION=y
73 CONFIG_PARTITION_TYPE_GUID=y
74 CONFIG_ENV_OVERWRITE=y
75 CONFIG_ENV_IS_IN_SPI_FLASH=y
76 CONFIG_VERSION_VARIABLE=y
77 CONFIG_NET_RANDOM_ETHADDR=y
83 CONFIG_SUPPORT_EMMC_RPMB=y
84 CONFIG_SUPPORT_EMMC_BOOT=y
88 CONFIG_SF_DEFAULT_SPEED=16000000
89 CONFIG_SPI_FLASH_SFDP_SUPPORT=y
90 CONFIG_SPI_FLASH_MACRONIX=y
91 CONFIG_SPI_FLASH_SPANSION=y
92 CONFIG_SPI_FLASH_STMICRO=y
93 CONFIG_SPI_FLASH_WINBOND=y
105 CONFIG_NET_OCTEONTX=y
106 CONFIG_OCTEONTX_SMI=y
109 CONFIG_PCI_REGION_MULTI_ENTRY=y
112 CONFIG_PCI_OCTEONTX=y
113 CONFIG_DM_REGULATOR=y
114 CONFIG_DM_REGULATOR_FIXED=y
115 CONFIG_DM_REGULATOR_GPIO=y
120 CONFIG_DEBUG_UART_SKIP_INIT=y
121 CONFIG_PL01X_SERIAL=y
125 CONFIG_USB_XHCI_HCD=y
126 CONFIG_USB_XHCI_PCI=y
128 CONFIG_USB_HOST_ETHER=y
129 CONFIG_USB_ETHER_ASIX=y
130 CONFIG_USB_ETHER_ASIX88179=y
131 CONFIG_USB_ETHER_RTL8152=y