Genode on i.MX6Q Sabre Lite

[Yevgeny Lavrov]

Thank you for quick reply.

It was very helpful, and pointed me in the right direction. The answer was
hiding within repos/base-sel4/patches/wand_quad.config, I somehow
overlooked this directory while looking for answers.
It turned out to be a one line fix in
<genode_dir>/contrib/sel4-<SHA>/src/kernel/sel4/configs/imx6/sabre_lite/autoconf.h
file.
Changing #define CONFIG_PLAT_WANDQ 1 to #define CONFIG_PLAT_SABRE 1 did the
trick. Now I can observe outputs from elf-loader tool, seL4 and Genode.

Cheers


On Wed, Sep 13, 2017 at 8:30 AM, Christian Helmuth <
christian.helmuth at ...1...> wrote:

> On Wed, Sep 13, 2017 at 12:44:11PM +0200, Alexander Boettcher wrote:
> > On 13.09.2017 08:48, Alexander Boettcher wrote:
> > > The UART for Sabre Lite and Wand Quad are not the same, as far as I
> know.
> >
> > Sorry, my assumption seems to be wrong, since the messages above are
> > from the seL4 elfloader already.
> >
> > So I presume you have just to adjust the seL4 kernel autoconf.h to match
> > the Sabre lite board.
>
> The kernel differentiates Sabre Lite and Wandboard regarding UART
> config and available RAM.
>
>   $ grep -rnA2 'CONFIG_PLAT_SABRE\|CONFIG_PLAT_WANDQ' .
>   ./src/kernel/sel4/configs/imx6/wand_quad/autoconf.h:75:#define
> CONFIG_PLAT_WANDQ 1
>   ./src/kernel/sel4/configs/imx6/wand_quad/autoconf.h-76-#define
> CONFIG_HAVE_LIB_PLATSUPPORT 1
>   ./src/kernel/sel4/configs/imx6/wand_quad/autoconf.h-77-#define
> CONFIG_NUM_DOMAINS 16
>   --
>   ./src/kernel/sel4/include/plat/imx6/plat/machine/hardware.h:55:#if
> defined(CONFIG_PLAT_SABRE)
>   ./src/kernel/sel4/include/plat/imx6/plat/machine/hardware.h-56-    /*
> Sabre has 1 GiB */
>   ./src/kernel/sel4/include/plat/imx6/plat/machine/hardware.h-57-    { /*
> .start = */ 0x10000000, /* .end = */ 0x50000000 }
>   ./src/kernel/sel4/include/plat/imx6/plat/machine/hardware.h:58:#elif
> defined(CONFIG_PLAT_WANDQ)
>   ./src/kernel/sel4/include/plat/imx6/plat/machine/hardware.h-59-    /*
> Wandboard Quad: 2 GiB */
>   ./src/kernel/sel4/include/plat/imx6/plat/machine/hardware.h-60-    { /*
> .start = */ 0x10000000, /* .end = */ 0x90000000 }
>   --
>   ./src/kernel/sel4/include/plat/imx6/plat/machine/devices.h:15:#ifdef
> CONFIG_PLAT_SABRE
>   ./src/kernel/sel4/include/plat/imx6/plat/machine/devices.h-16-#define
> UART_PADDR                  UART2_PADDR
>   ./src/kernel/sel4/include/plat/imx6/plat/machine/devices.h:17:#elif
> defined(CONFIG_PLAT_WANDQ)
>   ./src/kernel/sel4/include/plat/imx6/plat/machine/devices.h-18-#define
> UART_PADDR                  UART1_PADDR
>   ./src/kernel/sel4/include/plat/imx6/plat/machine/devices.h-19-#else
>
> Greets
> --
> Christian Helmuth
> Genode Labs
>
> https://www.genode-labs.com/ · https://genode.org/
> https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
>
> 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, 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/20170913/2980da39/attachment.html>