Hi, George

I had the same issue before with Sabre Lite. Sabre Lite uses different values for SDHC_IRQ, and SDHC_MMIO_BASE than Wandboard Quad. If you're using /repos/base/include/defs/wand_board.h as template for Sabre Lite then wand_board.h is the file where you'll find these values. In Genode 17.08 SDHC defs had been moved out to /repos/base/include/defs/imx6.h

Changing them to these values did the trick for me

/* SD host controller */
SDHC_IRQ  = 56,
SDHC_MMIO_BASE = 0x02198000,
SDHC_MMIO_SIZE = 0x00004000,

Hope it helps

On Fri, Oct 27, 2017 at 4:44 PM, George Joseph <georgejsh@...9...> wrote:
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?.



------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
genode-main@...172...net
https://lists.sourceforge.net/lists/listinfo/genode-main