1*dd84058dSMasahiro YamadaCONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=board/freescale/mx51evk/imximage.cfg" 2*dd84058dSMasahiro YamadaCONFIG_ARM=y 3*dd84058dSMasahiro YamadaCONFIG_TARGET_MX51EVK=y 4