2 # CONFIG_ARM64_SUPPORT_AARCH32 is not set
4 CONFIG_SYS_TEXT_BASE=0x2800000
5 CONFIG_SYS_MALLOC_F_LEN=0x4000
8 CONFIG_ENV_OFFSET=0xF00000
9 CONFIG_ENV_SECT_SIZE=0x10000
10 CONFIG_TARGET_OCTEONTX_83XX=y
11 CONFIG_SYS_MALLOC_LEN=0x4008000
13 CONFIG_DEBUG_UART_BASE=0x87e028000000
14 CONFIG_DEBUG_UART_CLOCK=24000000
17 CONFIG_SYS_LOAD_ADDR=0x2800000
19 CONFIG_FIT_SIGNATURE=y
20 CONFIG_SUPPORT_RAW_INITRD=y
21 CONFIG_OF_BOARD_SETUP=y
24 CONFIG_BOOTARGS="console=ttyAMA0,115200n8 earlycon=pl011,0x87e028000000 maxcpus=24 rootwait rw root=/dev/sda2 coherent_pool=16M"
25 # CONFIG_DISPLAY_CPUINFO is not set
26 CONFIG_BOARD_EARLY_INIT_R=y
28 CONFIG_SYS_PROMPT="Marvell> "
29 # CONFIG_CMD_BOOTEFI_HELLO_COMPILE is not set
31 CONFIG_MD5SUM_VERIFY=y
32 CONFIG_CMD_MX_CYCLIC=y
35 CONFIG_SHA1SUM_VERIFY=y
37 # CONFIG_CMD_FLASH is not set
41 CONFIG_CMD_BKOPS_ENABLE=y
56 CONFIG_CMD_LINK_LOCAL=y
60 CONFIG_CMD_EXT4_WRITE=y
62 CONFIG_CMD_FS_GENERIC=y
63 CONFIG_EFI_PARTITION=y
64 CONFIG_PARTITION_TYPE_GUID=y
66 CONFIG_ENV_IS_IN_SPI_FLASH=y
67 CONFIG_USE_ENV_SPI_BUS=y
69 CONFIG_USE_ENV_SPI_CS=y
71 CONFIG_USE_ENV_SPI_MAX_HZ=y
72 CONFIG_ENV_SPI_MAX_HZ=16000000
73 CONFIG_USE_ENV_SPI_MODE=y
74 CONFIG_ENV_SPI_MODE=0x0
75 CONFIG_VERSION_VARIABLE=y
76 CONFIG_NET_RANDOM_ETHADDR=y
85 CONFIG_SF_DEFAULT_MODE=0x0
86 CONFIG_SF_DEFAULT_SPEED=16000000
87 CONFIG_SPI_FLASH_SFDP_SUPPORT=y
88 CONFIG_SPI_FLASH_MACRONIX=y
89 CONFIG_SPI_FLASH_SPANSION=y
90 CONFIG_SPI_FLASH_STMICRO=y
91 CONFIG_SPI_FLASH_WINBOND=y
103 CONFIG_NET_OCTEONTX=y
104 CONFIG_OCTEONTX_SMI=y
107 CONFIG_PCI_REGION_MULTI_ENTRY=y
110 CONFIG_PCI_OCTEONTX=y
111 CONFIG_DM_REGULATOR=y
112 CONFIG_DM_REGULATOR_FIXED=y
113 CONFIG_DM_REGULATOR_GPIO=y
118 CONFIG_DEBUG_UART_SKIP_INIT=y
119 CONFIG_PL01X_SERIAL=y
123 CONFIG_USB_XHCI_HCD=y
124 CONFIG_USB_XHCI_PCI=y
126 CONFIG_USB_HOST_ETHER=y
127 CONFIG_USB_ETHER_ASIX=y
128 CONFIG_USB_ETHER_ASIX88179=y
129 CONFIG_USB_ETHER_RTL8152=y