Here is a simple tutorial showing the steps to boot Linux from a SD Card:
http://www.imxdev.org/wiki/index.php?title=I.MX25_PDK_U-boot_SDCard