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_BOARD_EARLY_INIT_F=y 7CONFIG_CMD_BOOTZ=y 8CONFIG_OF_LIBFDT=y 9