I am trying to use the drivers included with the SDK to add support for an SD card on the SPI bus. However, sdmmc, which is a dependency of the sdspi driver, will not build. Ultimately, I believe it comes down to the fact that the MK12DN512VLH5 does not have an SD host controller, and necessary header files are not provided in the SDK for the sdmmc libraries to build.
I presume that this is because the drivers were provided to support MCUs with host controllers, and not for just hanging an SD card on the SPI bus. However, I feel like I am missing something. I would certainly prefer not to spend time reinventing the wheel if I can just use the libraries already provided. I would think that I should be able to use the sdmmc libraries just for accessing the SD card, even if I don't have dedicated MCU pins for an SDHC.
Anyone have any experience with this?