Genode on i.MX6Q Sabre Lite

[Yevgeny Lavrov]

Hi

When trying various test scripts, I ran into the following problem while
executing "run/init" script on Sabre Lite
....
[init -> test-init] step 32 (init_config)
[init -> test-init] step 33 (expect_log)
[init -> test-init] [init -> log] config 3: became unavailable (ignored)
no RM attachment (READ pf_addr=0x5f75c pf_ip=0x5f75c from pager_object:
pd='init -> init -> log' thread='ep')

Are there any suggestions on what might be causing it?

And, is it possible to reproduce the USB Armory's "run/tz_vmm" scenario on
i.MX6 platform?

Thanks


On Fri, Sep 29, 2017 at 2:07 AM, Yevgeny Lavrov <ylavrov13 at ...9...> wrote:

> 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/20171006/7b4459b4/attachment.html>