2 CONFIG_SYS_DCACHE_OFF=y
3 CONFIG_SYS_CLK_FREQ=750000000
5 CONFIG_SYS_TEXT_BASE=0x81000000
6 CONFIG_DEFAULT_DEVICE_TREE="axs10x"
8 CONFIG_SYS_PROMPT="AXS# "
9 # CONFIG_CMD_IMLS is not set
10 # CONFIG_CMD_FLASH is not set
13 # CONFIG_CMD_SETEXPR is not set
19 CONFIG_NET_RANDOM_ETHADDR=y
25 CONFIG_ETH_DESIGNWARE=y
31 CONFIG_USB_EHCI_GENERIC=y
33 CONFIG_USE_PRIVATE_LIBGCC=y