1CONFIG_MIPS=y 2CONFIG_TARGET_VCT=y 3CONFIG_VCT_PLATINUM=y 4# CONFIG_CMD_SETEXPR is not set 5CONFIG_USE_PRIVATE_LIBGCC=y 6