1CONFIG_SYS_EXTRA_OPTIONS="VCT_PLATINUMAVC,VCT_SMALL_IMAGE"
2CONFIG_MIPS=y
3CONFIG_TARGET_VCT=y
4# CONFIG_CMD_CRC32 is not set
5