Boot problems using Genode 16.08 with Fiasco.OC r67 on a RPi Model B

[Alexander Weidinger]

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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 870 bytes
Desc: OpenPGP digital signature
URL: <http://lists.genode.org/pipermail/users/attachments/20170706/6707116f/attachment.sig>