/* Turn on micro SD card power. DK doesn't support socket power control, only enable the SPI clock.  */
void MICROSD_PowerOn(void)
/* Turn on micro SD card power. DK doesn't support socket power control, only enable the SPI clock.  */
void MICROSD_PowerOn(void)
{
  CMU_ClockEnable(MICROSD_CMUCLOCK, true);
}