dd84058d MY |
1 | CONFIG_MIPS=y |
2 | CONFIG_TARGET_VCT=y |
42079178 DS |
3 | CONFIG_VCT_PLATINUM=y |
4 | CONFIG_VCT_ONENAND=y |
80df6913 |
5 | CONFIG_SYS_PROMPT="$ " |
ef0f2f57 JH |
6 | # CONFIG_CMD_IMLS is not set |
7 | # CONFIG_CMD_FLASH is not set |
8 | # CONFIG_CMD_SETEXPR is not set |
c9bb942e |
9 | CONFIG_USE_PRIVATE_LIBGCC=y |