Hello, I was finally able to get the RPi to boot completely by adding the following lines from foc r72: https://github.com/skalk/foc/blob/r72/l4/pkg/bootstrap/server/src/platform_common.cc#L47-L49
What still seems odd to me is, that when I'm using genode.img I can use the kernel_addr_r address (0x01000000) stored in u-boot to successfully boot the RPi. For the image.elf I have to use a different address - something like 0x8000 - otherwise the RPi just resets itself. Some insight on this would be very helpful! Regards, Alexander On 2017-07-05 18:09, Alexander Weidinger wrote: > Dear Genode community, > > we are currently trying to get a Raspberry Pi 1 Model B running with > Genode 16.08 and Fiasco.OC r67 from https://github.com/skalk/foc/. > > We made changes to both, genode and foc but the basis are the two > mentioned versions. > > Trying to boot the RPi, we are left with the following message, the > board resets itself? and again tries to boot: >> ... >> reading genode.img >> 2060288 bytes read in 331 ms (5.9 MiB/s) >> Kernel image @ 0x1000000 [ 0x1000000 - 0x11f7000 ] >> >> Starting k >> L4 Bootstrapper >> Build: #5 Wed Jul 5 17:34:36 CEST 2017, 4.9.2 >> Scanning up to 512 MB RAM, starting at offset 32MB >> >> >> U-Boot 2014.07-rc3-gd4614d4 (Jun 14 2014 - 01:23:23) >> ... > (Trying to boot vanilla genode 16.08 with vanilla foc r67 (from skalk) > leads to the same behavior.) > > We were successful in running our setup (foc r67 and genode 16.08 both > with our changes) on a pandaboard (real hardware) and on pbxa9 (qemu). > Additionally we are able to successfully boot the RPi using vanilla > genode 16.08 with the provided foc version (r56), using our u-boot > configuration. > > Do we need to make additional changes to foc and/or genode to be able to > boot the RPi using r67 of foc? > Any hints or information are very welcomed! > > Regards, > Alexander > > > > ------------------------------------------------------------------------------ > 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 >
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ 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
