如何使用Simulink记录S32K144的SD卡？

我想在 S32K144 上使用 Adafruit MicroSD 卡分线板来记录一些数据。我使用 Simulink 对我的 NXP 板进行编程。是否有任何文档或示例显示我如何在 SD 卡上记录数据？