I was reading the StarterWare User Guide and I saw Nand Driver, MMCSD, and HSMMCSD. Of these, I do not know which one I should use to write to the eMMC. I know that the eMMC is connect to MMC1 on the Proccessor but I do not anywhere in the User Manual about an API to write/reading to this specific location.