CONFIG_ARM=y CONFIG_TARGET_VCMA9=y # CONFIG_CMD_SETEXPR is not set CONFIG_SYS_PROMPT="VCMA9 # "