Hey Yevgeny.
Am 03.04.2017 um 04:49 schrieb Yevgeny Lavrov:
Hi,
Thanks for the hints. I managed to solve the sd_card_bench issue. I've tried to print out completion state as Martin suggested by making the following changes to: <genode-dir>/repos/os/src/drivers/sd_card/spec/imx/driver.cc
driver.cc : line 131: error("command timed out irqstat: ", Mmio::read<Irqstat>());
And got the following output during run: “[init -> sd_card_bench] Error: command timed out irqstat: 0” I assumed that Genode is unable to locate the device for some reason, and decided to see if the same approach that worked for the UART would work here as well. Went back to /repos/base/include/spec/imx6/drivers/board_base.h and adjusted the SDHC variables to these values:
/* SD host controller */ SDHC_IRQ = 56, SDHC_MMIO_BASE = 0x02198000,
This did the trick and sd_card_bench successfully executed :)
Cool :)
Eventhough, I wonder that you were able to successfully do a reset with the other parameters. But maybe there is a second controller at 0x02190000 without a card inserted.
Cheers, Martin