1CONFIG_ARM=y
2CONFIG_TARGET_S32V234EVB=y
3CONFIG_DISTRO_DEFAULTS=y
4CONFIG_SYS_MALLOC_F=y
5CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=board/freescale/s32v234evb/s32v234evb.cfg"
6CONFIG_CMD_BOOTZ=y
7CONFIG_OF_LIBFDT=y
8