| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | CONFIG_MIPS=y |
| 2 | CONFIG_TARGET_VCT=y |
| Daniel Schwierzeck | 4207917 | 2014-10-26 14:14:07 +0100 | [diff] [blame] | 3 | CONFIG_VCT_PLATINUMAVC=y |
| Bin Meng | 80df691 | 2015-09-28 05:14:15 -0700 | [diff] [blame^] | 4 | CONFIG_SYS_PROMPT="VCT# " |
| Joe Hershberger | ef0f2f5 | 2015-06-22 16:15:30 -0500 | [diff] [blame] | 5 | # CONFIG_CMD_SETEXPR is not set |
| 6 | # CONFIG_CMD_NET is not set |
| 7 | # CONFIG_CMD_NFS is not set |
| Joe Hershberger | c9bb942 | 2015-06-22 16:15:29 -0500 | [diff] [blame] | 8 | CONFIG_USE_PRIVATE_LIBGCC=y |