1CONFIG_MIPS=y 2CONFIG_TARGET_VCT=y 3CONFIG_VCT_PLATINUM=y 4CONFIG_VCT_SMALL_IMAGE=y 5CONFIG_BOOTDELAY=5 6CONFIG_SYS_CONSOLE_INFO_QUIET=y 7CONFIG_SYS_PROMPT="$ " 8# CONFIG_CMD_BDI is not set 9# CONFIG_CMD_CONSOLE is not set 10# CONFIG_CMD_ELF is not set 11# CONFIG_CMD_CRC32 is not set 12# CONFIG_CMD_LOADB is not set 13# CONFIG_CMD_LOADS is not set 14# CONFIG_CMD_ITEST is not set 15# CONFIG_CMD_SOURCE is not set 16# CONFIG_CMD_SETEXPR is not set 17# CONFIG_CMD_NET is not set 18# CONFIG_CMD_NFS is not set 19# CONFIG_CMD_MISC is not set 20# CONFIG_ISO_PARTITION is not set 21CONFIG_SYS_NS16550=y 22