Genode on i.MX6Q Sabre Lite

[Yevgeny Lavrov]

Hi

Now that I have Genode running on i.MX6 under both kernels, hw and seL4, I
want to move to my next objective, which is to bring up Linux on top of
Genode/hw on ARM. Is there any already existing run script that I may use
(as a reference) to achieve that on i.MX6 platform? Do I need
virtualization for this?

Cheers

On Wed, Sep 13, 2017 at 4:45 PM, Yevgeny Lavrov <ylavrov13 at ...9...> wrote:

> 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/20170929/39c033c9/attachment.html>