I was trying genode 17.05 on sabrelite board. The sd_card bench application gave these errors.

[init -> sd_card_bench] Error: command timed out

[init -> sd_card_bench] Error: prefix command timed out

[init -> sd_card_bench] Error: Sd_send_op_cond command failed

[init -> sd_card_bench] Error: Uncaught exception of type 'Sd_card::Host_controller::Detection_failed'

[init -> sd_card_bench] Warning: abort called - thread: ep

[init] child "sd_card_bench" exited with exit value 1

But go_idle command is the successfully send.

The card is working fine from the uboot mmc commands. I cant find any reason. I have checked the registers in the usdhc controller the register values seems fine. What can be the possible reasons?.