我使用KC705，kintex-7，ISE14.2，想实现SD卡读写。

据说SDK的libxil FFS中的函数可以实现SD卡读写，但是我的SDK里面没有这个库，只有xilfatfs，xilfatfs和libxil FFS是同一个库的不同版本吗？xilfatfs的文档里面只提到支持CF卡，能用来控制SD卡吗？