CircleOS provides API functions in order to manage files on the SD Card.
The principals are :
u32 FS_Mount(enum STORAGE_device device);
u32 FS_OpenFile(PVOLINFO volinfo, u8 *path, u8 mode, PFILEINFO fileinfo);
u32 FS_ReadFile(PFILEINFO fileinfo, u8 *buffer, u32 *successcount, u32 len);
u32 FS_WriteFile(PFILEINFO fileinfo, u8 *buffer, u32 *successcount, u32 len);
u32 FS_Close(PFILEINFO fileinfo);
void FS_Seek(PFILEINFO fileinfo, u32 offset);
Notice that files are always open in binary mode.
Take a look at the "FS_Explorer" function of the CircleOS, to see how to mount and run through the SDCard.
You can also find informations in the forum and examples in the project section.