Genode on i.MX6Q Sabre Lite

[Stefan Kalkowski]

On 04/03/2017 10:49 AM, Martin Stein wrote:
> 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.
> 

In fact, the i.MX6 SoCs have even four different SDHC controllers.
Obviously, the card-slot of the i.MX6Q Sabre Lite is connected to a
different controller than the one of the Wandboard.

@m-stein: sorry, I forgot that point when I asked you for support to
investigate this

Regards
Stefan

> Cheers,
> Martin
> 
> ------------------------------------------------------------------------------
> 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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
> 

-- 
Stefan Kalkowski
Genode Labs

https://github.com/skalk · http://genode.org/