3 CONFIG_VCT_PLATINUMAVC=y
4 CONFIG_VCT_SMALL_IMAGE=y
6 # CONFIG_CMD_BDI is not set
7 # CONFIG_CMD_CONSOLE is not set
8 # CONFIG_CMD_ELF is not set
9 # CONFIG_CMD_CRC32 is not set
10 # CONFIG_CMD_LOADB is not set
11 # CONFIG_CMD_LOADS is not set
12 # CONFIG_CMD_ITEST is not set
13 # CONFIG_CMD_SOURCE is not set
14 # CONFIG_CMD_SETEXPR is not set
15 # CONFIG_CMD_NET is not set
16 # CONFIG_CMD_NFS is not set
17 # CONFIG_CMD_MISC is not set
19 CONFIG_USE_PRIVATE_LIBGCC=y