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 > <martin.st...@genode-labs.com <mailto:martin.st...@genode-labs.com>> 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 > <mailto:genode-main@lists.sourceforge.net> > https://lists.sourceforge.net/lists/listinfo/genode-main > <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