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

Discussion:

Alexander Weidinger

2017-07-05 16:09:22 UTC

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

...
reading genode.img
2060288 bytes read in 331 ms (5.9 MiB/s)
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)
...

Alexander Weidinger

2017-07-06 13:10:38 UTC

Permalink

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

Post by Alexander Weidinger
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

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

Stefan Kalkowski

2017-07-24 13:17:28 UTC

Permalink

Hi Alexander,

Post by Alexander Weidinger
Hello,
I was finally able to get the RPi to boot completely by adding the
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.

I'm not sure whether I understand you correctly. When using Genode 16.08
I do not get a "genode.img" file out of the build process.

I assume that your genode.img is equivalent to the uImage file built
when enabling the u-boot run-tool plugin?
Given that in u-boot you are loading the OS via "bootm XXX" you have to
use an u-boot compliant image and not an ELF file. When using an u-boot
image, u-boot copies everything (except the header) to the physical
address given in the u-boot image header, and then jumps to the
entrypoint address given by the same header. In contrast, when using an
ELF file, you have to use the "bootelf" command within the u-boot
commandline.
Anyway, the u-boot image is generated by our run-tool (when enabled via
RUN_OPT) out of the image.elf file. Thereby, the used memory areas after
the process of loading by u-boot, should be the same. The loading itself
should succeed, as long as you are using the memory area to hand over
the image to u-boot (either ELF or u-boot image)

Regards
Stefan

Post by Alexander Weidinger
Some insight on this would be very helpful!
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
https://lists.sourceforge.net/lists/listinfo/genode-main

--
Stefan Kalkowski
Genode Labs

https://github.com/skalk Â· http://genode.org/