if  TARGET_IMX8DXL_EVK || TARGET_IMX8DXL_DDR3_EVK

config SYS_BOARD
	default "imx8dxl_evk"

config SYS_VENDOR
	default "freescale"

config SYS_CONFIG_NAME
	default "imx8dxl_evk"

source "board/freescale/common/Kconfig"

endif
