Genode on i.MX6Q Sabre Lite

[Martin Stein]

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