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