i am booting from an image on the SD card, which is mainly some PL, and nothing much running on the PS.
my question is, where is the source for the SD card driver used to load the Boot.bin file in the first place?
for example, if i am using an iic device, i can find the driver at abc_bsp/ps7_cortexa9_0/libsrc/iicps_v1_02_a/...
but where is the equivalent one for the SD card?