FRDM-K64F board has SDHC socket already installed and wired to the SPI MCU pins. Also much promising MCUXpresso SDK has SDHC component module and board.h has macro definitions for SDHC resources. Naturally I was trying to find any example of using this module but so far failed. Any example can be found of using this provided module APIs for the microSD card operations? Logger example? or part of any demo ?