Genode on i.MX6Q Sabre Lite

[Yevgeny Lavrov]

Thanks for the support, and thank you Hinnerk for sharing your GitHub
branch, so far it was very useful to me when dealing with some errors.
I've looked into .mk files from base-hw and yes, the io_port* files only
get added to the core-hw.mk if one compiles for x86_64, so I've excluded
these files from core-sel4.mk file.
After excluding io_port* files, and clearing out seL4 object type related
errors (e.g seL4_X86_4K) it got me through compile phase. The compiled
image hangs on ## Starting application at 0xe0000000 … which appears to be
an invalid address. All my previous apps were starting at 0x10001000. I've
assumed that this is because I didn't include platform specific files that
can be found in base-hw/src/core/spec and base-hw/src/core/include/spec
directories.

Copying spec files from base-hw dir to my base-seL4/src/core/ directory and
including them into my build didn't give me anything so far. When
attempting to include them into my core-seL4.mk file normally resulted in
one or the other file missing or doesn't exist error. But at least it
improved my understanding of Genode's make process.

For now I just want to confirm one thing about core-seL4.mk file. Want to
make sure that I understand everything correctly.
The files that are included through SRC_CC in core-seL4.mk. Not all of them
are present in base-seL4/src/core. So, where does it pull the files that
are not in base-sel4/src/core? Do they come from repos/base/src/core
directory?

On Tue, Apr 4, 2017 at 5:26 AM, Stefan Kalkowski <
stefan.kalkowski at ...1...> wrote:

> 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/
>
> ------------------------------------------------------------
> ------------------
> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20170410/4213831c/attachment.html>