3 CONFIG_SYS_TEXT_BASE=0x84000000
4 CONFIG_SYS_CLK_FREQ=500000000
5 CONFIG_DEFAULT_DEVICE_TREE="abilis_tb100"
8 CONFIG_BOOTARGS="console=ttyS0,115200n8"
9 CONFIG_SYS_PROMPT="[tb100]:~# "
10 # CONFIG_CMD_FLASH is not set
11 # CONFIG_CMD_SETEXPR is not set
19 CONFIG_ETH_DESIGNWARE=y
22 CONFIG_USE_PRIVATE_LIBGCC=y