Hi Jeemon
1. Power up the SDHC interface and configure the port pins for SDHC mode.
2. Set speed to about 400kHz ready for initialisation and send at least 74 clocks
3. Send GO_IDLE_STATE_CMD0 to the SD card in 1 bit mode
4. Send IF_COND_CMD8 to retrieve non-supported voltage range (mandatory)
5. Send APP_CMD_CMD55 and OP_COND_ACMD_CMD41 (after waiting for it to not be busy)
6. Send CID_CMD2 followed by SET_REL_ADD_CMD3 to set the card's relative address
7. Send SEND_CSD_CMD9 to get the card's capacity information
8. Select the card with SELECT_CARD_CMD7
9. Send APP_CMD_CMD55 followed by SET_BUS_WIDTH_CMD6 to set the bus width at the card
10. Increase the bus speed to the final operating speed (eg. 25MHz) and program the 4 bit mode in the controller using SDHC_PROCTL |= SDHC_PROCTL_DTW_4BIT;
11 . Continue mounting the SD card in 4 bit mode
See also TWR-K70 SDHC SD Card
Regards
Mark