1CONFIG_ARM=y
2CONFIG_TARGET_THUNDERX_88XX=y
3CONFIG_DM_SERIAL=y
4CONFIG_DEFAULT_DEVICE_TREE="thunderx-88xx"
5CONFIG_SYS_EXTRA_OPTIONS="ARM64"
6CONFIG_BOOTDELAY=5
7CONFIG_HUSH_PARSER=y
8CONFIG_SYS_PROMPT="ThunderX_88XX> "
9# CONFIG_CMD_IMLS is not set
10# CONFIG_CMD_EXPORTENV is not set
11# CONFIG_CMD_IMPORTENV is not set
12# CONFIG_CMD_EDITENV is not set
13# CONFIG_CMD_SAVEENV is not set
14# CONFIG_CMD_ENV_EXISTS is not set
15# CONFIG_CMD_FLASH is not set
16# CONFIG_CMD_FPGA is not set
17# CONFIG_CMD_NET is not set
18# CONFIG_CMD_NFS is not set
19CONFIG_DM=y
20CONFIG_DEBUG_UART=y
21CONFIG_DEBUG_UART_PL011=y
22CONFIG_DEBUG_UART_BASE=0x87e024000000
23CONFIG_DEBUG_UART_CLOCK=24000000
24CONFIG_DEBUG_UART_SKIP_INIT=y
25CONFIG_REGEX=y
26