Genode on i.MX6Q Sabre Lite

Yevgeny Lavrov ylavrov13 at ...9...
Mon Apr 3 04:49:00 CEST 2017


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/ : line 131: error("command timed out 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 :)

On seL4 side I got this far:
As it was suggested, I took files from base-sel4/lib/mk/spec/x86_32/
modified them, and placed them in newly created imx6 folder. These changes
got me from:

checking library dependencies...
Library-description file is missing
Library-description file is missing
make[2]: *** No rule to make target 'startup-sel4.lib', needed by
'base-sel4-common.lib'. Stop.

to the point where build process hits:

Library core-sel4
COMPILE capability_space.o

The error occurs once the build process hits one of the files within this
directory: base-sel4/src/core and these files appear to be Genode specific.
I was able to clear out errors that are caused by wrong object types, but I
hit dead end once I reach io_port_session_support.c

Since I'm interested in something as basic as Hello World msg for now, do I
need all the files from base-sel4/src/core directory or I may exclude some


On Thu, Mar 30, 2017 at 4:43 AM, Alexander Boettcher <
alexander.boettcher at ...1...> wrote:

> Hi,
> On 29.03.2017 15:06, Martin Stein wrote:
> >> And if it is possible, can you please suggest me a starting point for
> >> Genode/seL4 on i.MX6? I'm currently going through files in
> >> repos/base-sel4 directory and trying to make sense out of it. I'm still
> >> quite new to ARM platforms, as well as Genode and seL4 kernel, so I
> >> would greatly appreciate any thoughts or ideas of where to begin.
> >
> > Unfortunately, I'm not that familiar with base-sel4. Maybe someone else
> > can answer this?
> Look for any x86 specific configuration/files in base-sel4 and come up
> with imx6 specific ones, I would guess. E.g. if you search for x86* you
> find in
> repos/base-sel4/lib/mk/spec/x86_32
> several files which setup the sel4 kernel for x86 (build the sel4
> kernel, sel4 kernel bindings etc.). This must be (probably) also added to
> repos/base-sel4/lib/mk/spec/imx6/
> (somehow similar as base-hw does).
> For example in repos/base-sel4/lib/mk/spec/x86_32/ the
> seL4 kernel is build for x86_32. Here you have to come up with a
> in the imx6 folder which builds the sel4 kernel for
> imx6/Sabre lite. How this is exactly is done, you have to check the
> documentation of seL4.
> Cheers,
> Alex.
> --
> Alexander Boettcher
> Genode Labs
> -
> Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites,!
> _______________________________________________
> genode-main mailing list
> genode-main at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list