I have recently started my work on IMX287 evk. I boot up the board from SD card with Linux but there were some bugs in the OS. I format the card and write it again with linux files as explained in IMX BSP guide using the same steps that I followed first time. But this time the board is not booting up. I am pretty sure that some thing is wrong in SD card side, but I am unable to catch what actually is that. Any one having any idea plz help me????