Re: Genode on i.MX6Q Sabre Lite

2017-11-10 Thread Stefan Kalkowski 

On 11/10/2017 12:05 PM, Yevgeny Lavrov wrote:
> Hi Stefan, Martin,
> 
> Thank you for your suggestions. Switching from .elf to uImage for
> Wandboard Quad actually did the trick, and now I can observe serial
> output. This is interesting, bootelf never failed me before. 

well, that's interesting indeed. Would be interesting to know what the
u-boot ELF loader makes different.

But it is good to hear that you can now proceed at least.

> 
> On Wed, Nov 8, 2017 at 3:06 PM, Martin Stein
> > wrote:
> 
> Hi Yevgeny, Stefan,
> 
> Am 08.11.2017 um 11:29 schrieb Stefan Kalkowski:
> > Actually, I have no idea why the HW kernel should not work for you. We
> > test it all night, and currently _all_ tests for HW on Wandboard are
> > green. I can confirm the trouble you experience with init.run and
> > bomb.run on top of sel4. I think there exist resource limitations
> > regarding Genode/Sel4 that lead to those problems.
> >
> > The only difference in between your setup, and our nightly test scenario
> > is that we use u-boot's "uImage" format and the "bootm" command instead
> > of the "bootelf" command, because the latter is not enabled in most
> > pre-installed u-boot variants. You can produce a ready to use uImage
> > when adding the following run-tool option to your "etc/build.conf":
> >
> >   RUN_OPT += --include image/uboot
> >
> > I should wonder if it makes any difference to boot the uImage instead of
> > the ELF image, but maybe you can give it a try.
> 
> Might it be that the u-boot versions differ and therefore the
> pre-Genode hardware/uart initialization causes troubles with HW?
> 
> 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@lists.sourceforge.net
> 
> https://lists.sourceforge.net/lists/listinfo/genode-main
> 
> 
> 
> 
> 
> --
> 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@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@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Re: Genode on i.MX6Q Sabre Lite

2017-11-10 Thread Yevgeny Lavrov 
Hi Stefan, Martin,

Thank you for your suggestions. Switching from .elf to uImage for Wandboard
Quad actually did the trick, and now I can observe serial output. This is
interesting, bootelf never failed me before.

On Wed, Nov 8, 2017 at 3:06 PM, Martin Stein 
wrote:

> Hi Yevgeny, Stefan,
>
> Am 08.11.2017 um 11:29 schrieb Stefan Kalkowski:
> > Actually, I have no idea why the HW kernel should not work for you. We
> > test it all night, and currently _all_ tests for HW on Wandboard are
> > green. I can confirm the trouble you experience with init.run and
> > bomb.run on top of sel4. I think there exist resource limitations
> > regarding Genode/Sel4 that lead to those problems.
> >
> > The only difference in between your setup, and our nightly test scenario
> > is that we use u-boot's "uImage" format and the "bootm" command instead
> > of the "bootelf" command, because the latter is not enabled in most
> > pre-installed u-boot variants. You can produce a ready to use uImage
> > when adding the following run-tool option to your "etc/build.conf":
> >
> >   RUN_OPT += --include image/uboot
> >
> > I should wonder if it makes any difference to boot the uImage instead of
> > the ELF image, but maybe you can give it a try.
>
> Might it be that the u-boot versions differ and therefore the
> pre-Genode hardware/uart initialization causes troubles with HW?
>
> 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@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
--
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@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main