1CONFIG_MIPS=y
2CONFIG_TARGET_VCT=y
3CONFIG_VCT_PLATINUMAVC=y
4CONFIG_BOOTDELAY=5
5CONFIG_SYS_PROMPT="VCT# "
6CONFIG_CMD_I2C=y
7# CONFIG_CMD_SETEXPR is not set
8# CONFIG_CMD_NET is not set
9CONFIG_CMD_DHCP=y
10# CONFIG_CMD_NFS is not set
11CONFIG_SYS_NS16550=y
12