1CONFIG_MIPS=y
2CONFIG_TARGET_VCT=y
3CONFIG_VCT_PLATINUM=y
4CONFIG_SYS_PROMPT="$ "
5CONFIG_CMD_I2C=y
6CONFIG_CMD_USB=y
7# CONFIG_CMD_SETEXPR is not set
8CONFIG_CMD_DHCP=y
9CONFIG_CMD_PING=y
10CONFIG_CMD_SNTP=y
11CONFIG_CMD_FAT=y
12CONFIG_SYS_NS16550=y
13CONFIG_USE_PRIVATE_LIBGCC=y
14