| 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_PLATINUM=y |
| 4 | CONFIG_VCT_SMALL_IMAGE=y | ||||
| Masahiro Yamada | ca05ee9 | 2014-09-16 16:33:01 +0900 | [diff] [blame] | 5 | # CONFIG_CMD_CRC32 is not set |
| Joe Hershberger | c9bb942 | 2015-06-22 16:15:29 -0500 | [diff] [blame^] | 6 | CONFIG_USE_PRIVATE_LIBGCC=y |