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